I am currently on the academic job market, looking for tenure-track positions starting Fall 2018. My application materials may be found here.
|Feb 2018||Bingo to appear in PLDI 2018!|
|Feb 2018||Invited seminar at UT Austin, March 1–2.|
|Jan 2018||Invited seminar at Georgia Tech, March 13–14.|
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.