---

---

I am a first-year Ph.D. student at UIUC working with Profs. Ning Luo and Madhusudan Parthasarathy. My research interests lie primarily in programming languages, logic, and verification.

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.

My recent work focuses on applying PL techniques to accelerate and scale verifiable computation.

My Name: Chen • tian /ʈʂʰən tʰjɛn/ in Mandarin Chinese.