Roopsha Samanta

Roopsha Samanta is an Assistant Professor the Department of Computer Science at Purdue University. She leads the Purdue Formal Methods (PurForM) group and is a member of the Purdue Programming Languages (PurPL) group. Before joining Purdue in 2016, she completed her PhD at UT Austin in 2013, advised by E. Allen Emerson and Vijay K. Garg, and was a postdoctoral researcher at IST Austria from 2014-2016 with Thomas A. Henzinger. She is a recipient of a 2019 NSF CAREER award and a 2021 Amazon Research Award. She works at the intersection of formal methods and programming languages to assist both programmers and non-programmers write programs that conform to their intent. Her current research agenda is centered around two themes—formal reasoning about distributed systems and semantics-driven inductive program synthesis and repair.