I’m currently pursuing my PhD at Purdue University under the guidance of Suresh Jagannathan. Previously, I had the priviledge to be advised by Roopsha Samanta. My passion for programming languages was sparked during my senior year through working with Cyrus Omar. In the summers of 2022 and 2023, I interned at ARG of Amazon.

I am broadly interested in programming languages and formal methods. In particular, I enjoy developing formal techniques to streamline and automate the art of programming, including reasoning of partial programs and program synthesis.


Trace-Guided Inductive Synthesis of Recursive Functional Programs
Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta
Distinguished Paper Award
Live Pattern Matching with Typed Holes
Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, Cyrus Omar
Distinguished Paper Award