Current Location: Home » People » Faculty » By Last Name » Z » Content

People

Z

Zhan,Naijun

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.