---

---

I'm an incoming Ph.D. student at UIUC, advised by Prof. Ning Luo. My research interests lie primarily in Programming Language, Logic and Automated Reasoning.

Previously, I completed my undergraduate studies in Mathematics and Computer Science (both with honors) at the University of Wisconsin–Madison, where I began studying and doing research in PL/FM, including:

1. B.Sc. thesis Categorical semantics of monadicity and algebraicity in programs.
2. Loom solver Generic & (very) efficient inductive learning from finite models
3. Imprompt Language abstractions and semantics for language model programming.

During my time at Madison, I also 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.

These days, I am an intern at Alibaba Cloud working on System Profiling.