About
I am applying for the position of Assistant Professor of Computer Science.
My primary field is Programming Languages. Specifically, I am interested in developing novel program synthesis techniques, and finding new problems that problem synthesis can solve. I believe my work has applications in Software Engineering and Artificial Intelligence.
I am a Postdoctoral Fellow at UT Austin working with Isil Dillig and Swarat Chaudhuri. I received my PhD from Princeton in 2020 with David Walker as my advisor. I have presented papers at POPL, PLDI, OOPSLA, and ICFP, and have received a distinguished paper award at PLDI.
I am an American citizen. Below, I have included a research statement; a teaching statement; a statement on diversity, equity, and inclusion; and a
Curriculum Vitae which includes 6 references.