Professor Roopsha Samanta - Department of Computer Science - Purdue University Skip to main content
Professor Roopsha Samanta

Professor Roopsha Samanta

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. 

Last Updated: Mar 1, 2022 11:31 PM

Department of Computer Science, 305 N. University Street, West Lafayette, IN 47907

Phone: (765) 494-6010 • Fax: (765) 494-0739

Copyright © 2024 Purdue University | An equal access/equal opportunity university | Copyright Complaints

Trouble with this page? Disability-related accessibility issue? Please contact the College of Science.