Title:Assistant Professor
Institute:Institute of Software
Research Interests:Formal Methods, Program Verification
Phone:TBD
E-mail:zhouzhe956pku.edu.cn
URL:https://zhezhouzz.github.io/
Zhe Zhou is an Assistant Professor of the Department of Computer Science and Technology, the School of Electronics Engineering and Computer Science, Peking University.
