Professor Roopsha Samanta

Rooopsha Samanta is an assistant professor in 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 the University of Texas, Austin in 2013 and was a postdoctoral researcher at Institute of Science and Technology Austria.

She is the recipient of a 2019 NSF CAREER award and an Amazon Research Award in 2021.

Her research interests are in program verification, program synthesis, and concurrency. 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.