Hi, I'm Zhicheng (Frank) Cai, a third year Ph.D student in the Department of Computer Sciences at University of Wisconsin-Madison
.
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.
News! I will start Google internship this summer!
Email: zhicheng AT cs DOT wisc DOT edu
Office address: CS 7372, 1210 W. Dayton St, Madison, WI 53706.