Dr. Mukund Raghothaman

Assistant Professor

Build a Statement of Purpose

Generate a tailored SOP for Dr. Mukund Raghothaman. Improve your application with a focused, well-structured draft.

Biography

Mukund Raghothaman is an Assistant Professor in the Computer Science Department at the University of Southern California. He obtained his Bachelor's degree from the Indian Institute of Technology, Guwahati, and previously served as a postdoctoral researcher at the University of Pennsylvania, where he received his Ph.D. in 2017. Dr. Raghothaman's research operates at the intersection of programming languages, software engineering, and automated reasoning. He utilizes machine learning techniques alongside formal verification to develop systems that assist programmers in reasoning about their code, writing, discovering bugs, establishing correctness proofs, and synthesizing programs that achieve desired functionality.

Research Interests

Programming Languages Software Engineering Automated Reasoning Machine Learning Formal Verification

Awards

#

ACM SIGPLAN PLDI Distinguished Paper Award

Requirements for University of Southern California

Master Program
Requirements
GPA Requirement
Required:3
TOEFL
Listening
Required:20
Reading
Required:20
Writing
Required:20
Speaking
Required:20
Total
Required:90
IELTS
Listening
Required:6
Reading
Required:6
Writing
Required:6
Speaking
Required:6
Overall
Required:6.5
GRE General
Prerequisites
Bachelor's degree in Engineering, Math, or Hard Science
Application Checklist
  • Online application
  • Official transcripts
  • Personal Statement
  • Resume/CV
  • Letters of Recommendation (not required for MS CS, but allowed)
Specialization Notes

GRE is NOT required for Master's applicants for 2025-2026.