Mukund Raghothaman

Department of Computer and Information Science
University of Pennsylvania
3330 Walnut St GRW 571, Philadelphia, PA 19104
Telephone: +1 (302) 438-2978
CV · Google Scholar Profile · DBLP


May 2018Overview paper on Difflog selected to appear at ML4P 2018!
Feb 2018Bingo to appear at PLDI 2018!

About Me

I am a postdoc working with Mayur Naik at the University of Pennsylvania.

My research is at the intersection of programming languages and software engineering. 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 a Ph.D. student in the same department, advised by Rajeev Alur, where I contributed to formalizing the SyGuS synthesis framework, and designed domain-specific languages and programming abstractions for stream processing.