Title
Assistant Professor
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
Notable Awards
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
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).