Logo: University of Southern California

Viterbi Faculty Directory

Mukund Raghothaman

Profile picture

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
  • Computer Science

Office
  • SAL 308
  • Henry Salvatori Computer Science Center
  • 941 Bloom Walk, Los Angeles, CA 90089
  • USC Mail Code: 0781

Contact Information
  • (213) 821-0853
  • raghotha@usc.edu

Links

Return to Faculty Directory