I'm a final year undergrad majoring in Math and CS (both with honors) at University of Wisconsin-Madison. I'm like Programming Language Theory and its elegant mathematical motivations (mostly) from Logic, Algebra and Topology.

I will apply for Ph.D. programs in Programming Language Theory (PL) / Formal Methods (FM) starting from 2026 Fall.

My current research interests are mainly in:

1. (PL) Designing semantic models to reason about programs. e.g. [math thesis].
2. (PL) Designing nuanced language features to precisely capture domain-specific problems.
3. (FM) Unifying and reducing different formalisms used for reasoning and verification. e.g. [cs thesis].

• College of Letters & Science
• Honors B.Sc. in Math and Computer Science (GPA: 3.97/4.0)

• Software Institute
• B.Eng. (transferred out) in Software Engineering