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.