Roopsha Samanta

Expanding possibilities in the domain of computer science, Roopsha Samanta serves as an Assistant Professor in the Department of Computer Science at Purdue University. Her research is dedicated to advancing the reliability and efficiency of software systems through the application of formal methods. With a keen interest in programming languages, program verification, and software engineering, she is at the forefront of developing innovative mathematical theories, algorithms, and tools that facilitate program verification, repair, and synthesis. Dr. Samanta's academic journey began with a Ph.D. in Electrical and Computer Engineering from the University of Texas at Austin, which she completed in 2013. Her doctoral work laid the foundation for her future endeavors in formal methods and program synthesis. Following her Ph.D., she expanded her research horizons as a postdoctoral researcher at the Institute of Science and Technology Austria from 2014 to 2016, where she further honed her expertise in program repair and synthesis. At Purdue University, Dr. Samanta is actively involved in both teaching and research, guiding students and collaborating with fellow researchers to push the boundaries of what is possible in software engineering. Her work not only contributes to the academic community but also has practical implications for the development of more robust and reliable software systems. Through her research, Dr. Samanta aims to bridge the gap between theoretical computer science and practical software development, ensuring that the programs we rely on are both efficient and dependable. Her contributions to the field are paving the way for future advancements in program verification and synthesis, making significant strides toward the creation of error-free software.