I'm an incoming Ph.D. student at UIUC, advised by Prof. Ning Luo. My research interests lie primarily in Programming Language Theory (PL), Formal Methods (FM) and their applications in various domains.

More specifically, based on my research experience so far, my current interests are summarized below, and I expect to refine (\cap) or expand (\cup) over time:

1. PL4X Designing language level abstractions to precisely capture domain-specific problems. e.g. Imprompt.
2. FM4X Designing formal methods under domain-specific constraints. e.g. ZK-Compiler.
3. PL Mathematical foundations of semantics and their reflections in language design. e.g. my B.Sc. thesis.
4. FM Scalable formal methods through decidability and complexity analysis. e.g. Delis.

I was a Math & CS (both with honors) undergraduate at the University of Wisconsin-Madison, where I spent much of my time exploring ways to think about computation through the lenses of Logic, Topology, Algebra, Analysis and Number Theory. I also became interested in Quantum PL.