zhicheng # cs dot wisc dot edu
I am a first 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
- Smart contracts verification and security analysis.
University of Waterloo, Computer Science. (09/2016 - 04/2017)
*Exchange student, supervised by Prof. Richard Trefler