Registered user since Thu 29 May 2014
I am an Assistant Professor at the University of Chicago. I enjoy developing and deploying programming language technology — type systems, synthesis algorithms, and other program analysis techniques — for applications in software engineering and human-computer interaction.
|FPE 2020||Committee Member in Program Committee within the FPE 2020-track|
|ICFP 2020||Program Sketching with Live Bidirectional Evaluation|
|Show activities from other conferences|
View general profile