I'm currently a third year Ph.D student in the Department of Computer Sciences at University of Wisconsin-Madison, advised by
Dr. Somesh Jha.
Before UW-Madison, I got my B.S. in Computer Science and Technology from Nanjing University in 2017 and was an exchange student at University of Waterloo during Fall 2016 and Winter 2017.
My main research interest lies in programming languages and compilers, including formal methods, static and dynamic program analysis.
Also, I'm interested in trustworthy machine learning and reliable software engineering.
I'm looking for summer 2020 internship and very glad to do researches on the intersection between PL and ML!
Here is my CV.
Email: zhicheng AT cs DOT wisc DOT edu
Office address: CS 7372, 1210 W. Dayton St, Madison, WI 53706.