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.