Roopsha Samanta

 Roopsha Samanta


Assistant Professor 



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 

Notable Awards

2021 Amazon Research Award

2019 NSF CAREER award 


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.  


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 be March 28th and 29th, 2023.
Purdue University, West Lafayette, IN

More Information