I am a fourth-year doctoral student in computer science at Carnegie Mellon University. I am advised by Prof. Jan Hoffmann. I am broadly interested in programming languages and software engineering, especially probabilistic programming, type systems, static resource analysis, and program synthesis. Currently, I am working on language-level integrations for Bayesian inference and probabilistic programming systems.
Here is my Curriculum Vitae.