Naijun
Zhan
|
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 |
|
|
Short
bio:
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.
Publications
Professional
Activities
• 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
•
2019: RTSS, EMSOFT,
ICFEM, TASE, TAMC, ICESS (general co-chair), iFM, UTP, MEMOCODE (general
co-chair)
•
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
Thesis:
• 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.
Projects:
[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.
Students:
Graduate Advisees
• Mingshuai Chen (PhD student)
• Lintai Wang (PhD student)
• Qiuye Wang (PhD student)
• Shenghua Feng (PhD student)
• Jian Wang (mast student)
• Haolan Zhan (mast student)
• Qianqian Lin (mast student)
• Xiangyu
Jin (mast student)
Post-docs
• Dr. Yan Zhang (PhD from NUAA)
Alumni
• 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, springer 2019)
• Programming theories (Graduate students, fall
2017-2019)
Prospective students and postdocs:
I’m looking for motivated PhD students and postdocs, if you are
interested in my work and would like to join us, pls don’t hesitate to contact
me!
Last
modified: Nov. 25, 2017