Purdue University - Department of Computer Science -

Roopsha Samanta

Assistant Professor of Computer Science

Joined department: Fall 2016


Ph.D., The University of Texas at Austin, Electrical and Computer Engineering (2013)

Roopsha Samanta's research interests are in formal methods and programming languages. Her work spans the development of mathematical theory and tools for program verification, analysis, repair and synthesis. Her current research focuses on synchronization synthesis for concurrent programs, robustness analysis of cyberphysical and reactive systems and automated feedback generation for online education.

Selected Publications

L. D'Antoni, R. Samanta and R. Singh, "QClose: Program Repair with Quantitative Objectives", In Proceedings of Computer Aided Verification (CAV), 2016
P. Černý, E. M. Clarke, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta and T. Tarrach, "From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis", In Proceedings of Computer Aided Verification (CAV), 2015
A. Gupta, T. A. Henzinger, A. Radhakrishna, T. Tarrach and R. Samanta, "Succinct Representation of Concurrent Trace Sets", In Proceedings of Principles of Programming Languages (POPL), 2015
T. A. Henzinger, J. Otop and R. Samanta, "Lipschitz-Robustness of Finite-State Transducers", In Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2014

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

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

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

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