Chentian Wu
Undergraduate (Junior)
Math and CS
University of WisconsinMadison
Biography
I am Chentian Wu (吴陈添), a junior student of Math and CS at University of WisconsinMadison.
I am currently supervised by Prof. Xiaokang Qiu at Computeraided Programming Group at Purdue University.
My research interests lie in the intersection of Programming Language Theory and Foundations of Mathematics.
I also have research experiences regarding Software Testing.
Recently, I have been working on topics about Program Synthesis.
Before transfering to UWMadison in 2024 January, I studied Computer Software Engineering at Nanjing
University for 2.5 years.
Here is my detailed resume.
Interests
 Programming Language Theory
 Foundations of Mathematics
 Program Synthesis
 Formal Verification
Education

University of WisconsinMadison2024 ~ 2026 (expected)B.Sc. in Mathematics and Computer Science

Nanjing University2021 ~ 2024 (transferred)B.Eng. in Software Engineering