CV

This CV might be outdated. For the most recent news and publications, please check my [Google Scholar profile](https://scholar.google.com/citations?user=bd-XZkYAAAAJ&hl=zh-CN).

General Information

Full Name Naijun Zhan
Position Boya Distinguished Professor, School of Computer Science, Peking University
Email njzhan@pku.edu.cn

Education

  • 2000
    PhD in Computer Science
    Institute of Software, Chinese Academy of Sciences
  • 1996
    MSc in Computer Science
    Nanjing University
  • 1993
    BSc in Mathematical Logic
    Nanjing University

Experience

  • 2024 - now
    Boya Distinguished Professor
    School of Computer Science, Peking University
  • 2015 - 2024
    Research Professor
    State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
  • 2001 - 2004
    Research Fellow
    Faculty of Mathematics and Informatics, University of Mannheim, Germany

Honors and Awards

  • 2016
    • Outstanding Youth Fund of the National Science Foundation of China

Research Interests

  • Formal techniques for the design of real-time and hybrid systems
  • Program verification and automated theorem proving
  • Modal and temporal logics
  • Concurrent computation models
  • Semantic foundations of component and object systems