Profile picture

Mukund Raghothaman

Assistant Professor of Computer Science


  • 2017, Doctoral Degree, Computer and Information Science, University of Pennsylvania
  • 2010, Bachelor's Degree, Computer Science and Engineering, Indian Institute of Technology


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.


  • 2019 ACM SIGPLAN PLDI Distinguished Paper Award
  • Thomas Lord Department of Computer Science
  • SAL 308
  • Henry Salvatori Computer Science Center
  • 941 Bloom Walk, Los Angeles, CA 90089
  • USC Mail Code: 0781
Contact Information
  • (213) 821-0853