PhD, The University of Texas at Austin
M.S., The University of Texas at Austin
Program Verification, Repair and Synthesis
Formal Methods, Programming Languages
Postdoc at the Institute of Science and Technology Austria
Qlose: Program Repair with Quantitative Objectives.
L. D'Antoni, R. Samanta and R. Singh.
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.
Succinct Representation of Concurrent Trace Sets.
A. Gupta, T. A. Henzinger, A. Radhakrishna, R. Samanta and T. Tarrach.
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).