Mukund Raghothaman
Assistant Professor of Computer Science
Education
- 2017, Doctoral Degree, Computer and Information Science, University of Pennsylvania
- 2010, Bachelor's Degree, Computer Science and Engineering, Indian Institute of Technology
Biography
Mukund Raghothaman is an Assistant Professor in the Computer Science Department at the University of Southern California. He obtained a Bachelor's degree from the Indian Institute of Technology Guwahati, and was previously a postdoctoral researcher at the University of Pennsylvania, from where he also received a Ph.D. in 2017.Research Summary
Dr. Raghothaman works at the intersection of programming languages, software engineering, and automated reasoning. He draws on techniques from machine learning and formal verification, and builds systems that help programmers reason about the code they write, discover bugs and correctness proofs, and even synthesize programs with the desired functionality.Awards
- 2019 ACM SIGPLAN PLDI Distinguished Paper Award
Appointments
- Thomas Lord Department of Computer Science
- SAL 308
- Henry Salvatori Computer Science Center
- 941 Bloom Walk, Los Angeles, CA 90089
- USC Mail Code: 0781
- (213) 821-0853
- raghotha@usc.edu