Chentian Wu
Math & CS
University of Wisconsin-Madison

Email:
Links: 		  chentian DOT wu AT wisc DOT edu
GitHub / Linkedin / Resume

[education] [publications] [experiences] [teaching] [materials] [misc]

My research interests lie primarily in Programming Language Theory (PL) and Formal Methods (FM).

More specifically, based on my research experience so far, the best summary of my current interests, which I expect to refine (\cap) or expand (\cup) over time, is:

  1. PL4X Designing language level abstractions to precisely capture domain-specific problems. e.g. Imprompt.
  2. FM4X Designing formal methods under domain-specific constraints. e.g. ZK-Compiler.
  3. PL Mathematical foundations of semantics and their reflections in language design. e.g. my B.Sc. thesis.
  4. FM Scalable formal methods through decidability and complexity analysis. e.g. Delis.
In my opinion, there are no sharp boundaries between these directions. In particular, when designing a language, clarifying the need for corresponding analysis and verification methods, as well as how they should be carried out, is both interesting and almost necessary.

I was a Math & CS undergraduate at the University of Wisconsin-Madison, both with honors, where I 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.

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