zhicheng # cs dot wisc dot edu
I'm a second year PhD student in the Department of Computer Science at UW-Madison, advised by Prof. Somesh Jha.
Before UW-Madison, I got my B.S. in Computer Science and Technology from Nanjing University (NJU) in 2017.
University of Wisconsin-Madison, Computer Science. (08/2017 - present)
* Research Assistant
- Programming languages and blockchain
- Smart contracts verification and security analysis
University of Waterloo, Computer Science. (09/2016 - 04/2017)
*Exchange student, supervised by Prof. Richard Trefler
Nanjing University, Computer Science and Technology. (09/2013 - 07/2017)
* National Elite Program student since September 2014
Smart Contracts and Opportunities for Formal Methods,
Andrew Miller, Zhicheng Cai, Somesh Jha,
ISOLA' 18 (Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation) Paper