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
2021 Amazon Research Award
2020 Purdue College of Science Team Award. NSF CAREER Award.
2019 Purdue Seed for Success Award.
2019 Purdue College of Science Team Award. Purdue Research Foundation Grant Award
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).