Chentian Wu
MATH & CS
University of Wisconsin-Madison

Homepage: Email:
Links:
  https://wuct.site chentian DOT wu AT wisc DOT edu
GitHub / Linkedin / Resume


[education] [research] [publications] [projects] [service] [notes] [awards] [misc]

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.

University of Wisconsin-Madison 2024/01 ~ 2025/12
  • College of Letters & Science
  • Honors B.Sc. in Math and Computer Science (GPA: 3.97/4.0)
Nanjing University
2021/09 ~ 2024/01
  • Software Institute
  • B.Eng. (transferred out) in Software Engineering