Scholar
Naijun Zhan
Google Scholar ID: bd-XZkYAAAAJ
School of Computer Science, Peking University
Citations & Impact
Citations
1,762
H-index
22
i10-index
59
Publications
20
Co-authors
35
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Distinguished Research Professor of Chinese Academy of Sciences (since 2015)
- Winner of Outstanding Youth Fund of Natural Science Foundation of China (2016)
- Tool MARS (Modeling, Analysis and Verification of Hybrid Systems)
- Theorem Prover for HHL
- Case study of high-speed Chinese train control system
Background
- Research interests include formal techniques for the design of real-time and hybrid systems, program verification, modal and temporal logics, concurrent computation models, semantic foundations of component and object systems.
Miscellany
- Professional activities: Editorial board member of several journals such as Journal of Automated Reasoning, Formal Aspects of Computing, etc.; frequent participation in organizing committees and program committees of international conferences.
