I'm a final year undergrad majoring in MATH and CS (both with honors) at University of Wisconsin-Madison. I'm deeply interested in Programming Language Theory and its elegant mathematical motivations, mostly from Logic, Algebra and Topology. In particular, I am studying / exploring

1. Algebraicity of programming languages.
2. Synthesis decidability and complexity in infinite-state systems.

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

• 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