Zhicheng Cai

  • Home
    Zhicheng Cai

    Hi, I'm Zhicheng (Frank) Cai, 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.


    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.

Publications

  1. Smart Contracts and Opportunities for Formal Methods (paper) (slides).
    Andrew Miller, Zhicheng Cai, Somesh Jha. ISoLA 2018.

Experiences

  • Trustworthy Machine Learning NSF Site Visit (CTML).
    University of Penn State, University Park, PA, September 17-18, 2019

  • Waterloo ML + Security + Verification Workshop (Schedule).
    University of Waterloo, Waterloo, Ontario, Canada. August 26-30, 2019

  • Eighth Summer School on Formal Techniques (SSFT'18) (blog by Jay Bosamiya).
    Menlo College, Atherton, CA. May 19-25, 2018

  • ACM-ICPC North Central NA Regional Contest (9/207)
    Oct 28, 2017