Title:Boya Distinguished Professor
Institute:Institute of Software
Research Interests:Formal design theories and techniques for cyber-physical systems, program verification
E-mail:njzhanpku.edu.cn
URL: https://lcs.ios.ac.cn/~znj/
Naijun Zhan is a Boya Distinguished Professor of the Department of Computer Science and Technology, the School of Electronics Engineering and Computer Science, Peking University.
