Chentian Wu
Math & CS
University of Wisconsin-Madison

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

[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 (both with honors) undergraduate at the University of Wisconsin-Madison, 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.