Mukund Raghothaman

I am currently looking for undergraduate, Masters, and Ph.D. students to work on research projects in programming languages and automated reasoning. If you are a USC student excited about helping programmers write better software, use reinforcement learning and other machine learning techniques to find bugs in programs, or even synthesize code from scratch: send me an email.

About Me

My research is at the intersection of programming languages, software engineering and automated reasoning. I draw on techniques from machine learning and formal methods to solve problems in program synthesis, verification, and static analysis. My goal is to build theoretically well-understood, rigorously evaluated, and practically useful tools to help programmers create better software with less effort.

I was previously affiliated with the University of Pennsylvania, where I obtained my Ph.D. under the guidance of Rajeev Alur, and was later a postdoc working with Mayur Naik. During this time, I developed the Bingo and Drake probabilistic static analysis frameworks, contributed to formalizing the SyGuS synthesis framework, and designed domain-specific languages and programming abstractions for stream processing systems.