Office: Room 327, Building 5 |
Tel.: +86-10-62661615 |
Address:
No. 4, South
Fourth Street, Zhong Guan Cun Beijing, 100190, China |
Email: znj@ios.ac.cn or nj_zhan@iist.unu.edu |
|
Dr. Naijun Zhan is a research professor at State
Key Lab. of Computer Science, Institute
of Software, Chinese Academy of Sciences.
He obtained PhD in computer science from Institute of Software, Chinese Academy
of Sciences in 2000, and Ms.c in computer science and Bs.c in mathematical
logic both from Nanjing University respectively in 1996 and in 1993. Prior to
join Institute of Software, Chinese Academy of Sciences, he worked at Faculty
of Mathematics and Informatics, University of Mannheim, Germany from 2001 to
2004. He is a distinguished research
professor of Chinese Academy of Sciences (since 2015), the winner of Outstanding Youth Fund of Natural Science
Foundation of China (2016).
His 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.
a)
The tool MARS (Modeling,
Analysis and veRification of hybrid Systems)
can be downloaded from here.
b)
The Theorem Prover for HHL can be downloaded from here.
c)
The case study of high-speed Chinese train control
system can be downloaded from here.
• Editorial Boards of
Formal
Aspects of Computing, Journal
of Logical and Algebraic Methods in Programming, Journal
of Software, and Computer
Research and Development
• PC members of
•
2018: QEST,
SNR, ADHS, ATVA, MEMOCODE (general co-chair), FMAC
•
2017: TAMC,
SETTA, ICTAC, ICECCS, FMAC
•
2016: HSCC, UTP,SETTA (PC co-chair), ICTAC, VSTTE,ATVA, FACS
• 2015: HSCC, ATVA, TASE, ICECCS, WPHS
• 2014:
HSCC, TAMC, ICTAC, UTP, FACS, TASE, ICECCS,EASLLC, FSFMA,
HTSS
• 2013:
ICTAC, ICECCS, HTSS, FACS, FSFMA, RIVF, COMPUTATION TOOLS
• 2012:
ICECCS, ICTAC, RIVF, TIMES, TAMC, TASE, UTP, COMPUTATION TOOLS
• 2011:
KSE, ICFEM, TIMES, COMPUTATION TOOLS
• 2010:
ICTAC, KSE, FACS, UTP
• 2009:
ICTAC, KSE, FACS
• 2008:
ICTAC, HTSS
• 2007:
ICTAC, HTSS
• 2006:
ICECCS
• Master
thesis: Pi-calculus and its
application, Nanjing
University, June,
1996.
• PhD
thesis: Higher-order Duration Calculus and Its Applications (in
Chinese), Institute
of Software, Chinese Academy of Sciences, June, 2000.
[1]. 2018.1-2022.12, “Theories and Tools of Automated
Theorem Proving for Program Verification”, a key project funded by Natural
Science Foundation of China.
[2]. 2017.1-2021.12, “Formal Design of Complex
Safety-Critical Embedded Systems”, Outstanding Youth Fund of Natural Science
Foundation of China.
[3]. 2015.1-2016.12, “Consistency checking between
different phases in the design of embedded systems”, a key project in the
context of “Trustworthy Software Plan” initiated and funded by Natural Science
Foundation of China.
[4]. 2014.1-2018.12, “Theories and Tools for Dependable
Safety Critical Systems”, a CAS/SAFEA “International Creative Team” project.
[5]. 2014.1-2018.12, “Construction and QoS of Safety
Critical Systems”, a “973” project funded by the Ministry of Science and Technology.
[6]. 2012-12.2015, “Theories, Tools and Development
Environment for Spacecraft Embedded Systems”, a grand project in the context of “Trustworthy
Software Plan” initiated and funded by
Natural Science Foundation of China.
[7]. 9.2009-8.2014, “Outstanding youth fund of Institute of
Software, Chinese Academy of Sciences”.
[8]. 2009.1-2012.12, “Refinement, Coordination and Glue of
Software Components”, funded by Natural Science
Foundation of China.
[9]. 2008-12-2011, “Component-based Methods for Embedded
Systems”, a key project of Natural Science Foundation of China.
[10]. 2008.1-2010.12, “Verification and Analysis of Embedded
Software Based on Computer Algebra”, a key project in the context of
“Trustworthy Software Plan”, initiated and funded by Natural Science Foundation
of China.
[11]. 10.2005-9.2008, “Applying Symbolic Computation
Approach to Formal Methods”, funded by Natural Science Foundation of China.
[12]. 11.2004-10.2007, “Innovative Group on Formal Methods”,
coordinated by Prof. Lin Huimin, funded by Natural Science Foundation of China.
[13]. 2008.1-2011.12, “Component-based Design, Verification,
Analysis and Tools for Dependable Embedded Systems”, a key project of Natural
Science Foundation of China.
• Mingshuai Chen (PhD student)
• Lintai Wang (PhD student)
• Qiuye Wang (PhD student)
• Jian Wang (mast student)
• Haolan Zhan (mast student)
• Qianqian Lin (mast student)
• Dr. Yan Zhang (PhD from NUAA)
• Dr. Jiang Liu
(post-doc, associate professor in
Chongqing Institute of Green Intelligent Technology)
• Dr. Ming Xu
(post-doc, associate professor in East China Normal University)
• Dr. Shuling Wang
(post-doc, research assistant in Institute of Software, Chinese Academy of
Sciences)
• Dr. Jiaqi Zhu
(post-doc, research associate professor in Institute of Software, Chinese
Academy of Sciences)
• Zhao Quan (master
student)
• Yang Gao (master student, PhD student at Oldenburg University)
• Dr. Hengjun Zhao (PhD student, assistant
professor in Southwest University)
• Danqing Guo (master student)
• Liang Zou (PhD student, Post-doc at NTU)
• Yu Peng (master student, Sina)
• Dr. Yangjia Li (post-doc, assistant
professor in Institute of Software, Chinese Academy of Sciences)
• Tao Liu (master student, Netease)
Teaching:
• Discrete mathematics (Undergraduate
students, spring 2017)
• Programming theories (Graduate students, fall
2017)
Prospective students and postdocs:
Last
modified: Nov. 25, 2017