Roopsha Samanta

 Roopsha Samanta

Title

Assistant Professor 

Department

Education

PhD, The University of Texas at Austin
M.S., The University of Texas at Austin 

Research Areas

Program Verification, Repair and Synthesis 

Key Areas

Formal Methods, Programming Languages 

Notable Experience

Postdoc at the Institute of Science and Technology Austria 

Publications

Qlose: Program Repair with Quantitative Objectives.
L. D'Antoni, R. Samanta and R. Singh.
CAV 2016.
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis.
P. Cerny, E. M. Clarke, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach.
CAV 2015.
Succinct Representation of Concurrent Trace Sets.
A. Gupta, T. A. Henzinger, A. Radhakrishna, R. Samanta and T. Tarrach.
POPL 2015.  

Biography

Roopsha Samanta is an Assistant Professor at Purdue University. Her research focuses on building reliable and efficient programs using formal methods and programming languages principles. Her work spans the development of mathematical theory, algorithms and tools for program verification, repair and synthesis. The application domains that her work targets include concurrent systems software, probabilistic and cyber-physical systems, and education technology for programming courses.

Roopsha completed her Ph.D. at The University of Texas at Austin in 2013, supervised by E. Allen Emerson and Vijay K. Garg. From 2014-2016, she was a postdoctoral researcher in Tom Henzinger’s group at the Institute of Science and Technology Austria (IST Austria). 

Coming Up!

Our annual security symposium will take place on April 7th and 8th, 2020.
Purdue University, West Lafayette, IN

More Information