I am Chentian Wu (吴陈添), a junior student of Math and CS at University of Wisconsin-Madison. I am currently supervised by Prof. Xiaokang Qiu at Computer-aided 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 UW-Madison in 2024 January, I studied Computer Software Engineering at Nanjing University for 2.5 years.
Here is my detailed resume.