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

I am currently on the academic job market, looking for tenure-track positions starting Fall 2018. My application materials may be found here.


Feb 2018Bingo to appear in PLDI 2018!
Feb 2018Invited seminar at UT Austin, March 1–2.
Jan 2018Invited seminar at Georgia Tech, March 13–14.

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.