Chentian Wu
MATH & CS
University of Wisconsin-Madison

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

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

I'm a final year undergrad majoring in MATH and CS (with double honors) at University of Wisconsin-Madison. I'm deeply interested in Programming Language Theory and its elegant mathematical motivations (mostly from Logic, Topology and Algebra). Recently, I'm working on Automata-based Logic Synthesis with Prof. Xiaokang Qiu and Prof. Adithya Murali.

Here is my Curriculum Vitae.

University of Wisconsin-Madison 2024/01 ~ 2025/12
  • College of Letters & Science
  • Honors B.Sc. in Math and Computer Science (GPA: 4.0/4.0)
Nanjing University
2021/09 ~ 2024/01
  • Software Institute
  • B.Eng. (transferred out) in Software Engineering
Misc
Language: English (Fluent), Mandarin (Native).
Programming: Rust, Java, Haskell, JavaScript, Python, C, C++, SQL.
My Name: Pronounced like Chen-Tieen in English.
Math: I didn't decide to learn math until junior year. As a late-starter, I'm currently exploring Algebraic Topology, which provides so much valuable intuition for the terrifying Category Theory :)