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). A
long CV can be found here.
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
n Editorial
Boards of
u Journal of Automated Reasoning
u Formal
Aspects of Computing,
u Journal
of Logical and Algebraic Methods in Programming
u Research
Direction: Cyber-Physical Systems
u Chinese
Journal of Electronics
u Computer
Research and Development
u Science and
Technology Foresight
n Steering
committee members of
u MEMOCODE
u SETTA
n PC members
of
u
2023: RTSS, CAV, HSCC, ICCPS, TACAS, FM,
ABZ, TASE, iFM, ICFEM
u
2022: RTSS, HSCC, ICCPS, FORMATS, iFM, TASE, ICFEM, LCA
u
2021: FM (co-chair), HSCC, ADHS, EMSOFT,
TASE
u
2020: CAV, RTSS, HSCC, EMSOFT, TTSS,
TASE, ICFEM, iFM, SNR
u
2019: RTSS, EMSOFT, ICFEM, TASE, TAMC,
ICESS (general co-chair), iFM, UTP, MEMOCODE (general
co-chair)
u
2018: QEST, SNR, ADHS, ATVA, MEMOCODE
(general co-chair), FMAC
u
2017: TAMC, SETTA, ICTAC, ICECCS, FMAC
u
2016: HSCC, UTP，SETTA (PC
co-chair), ICTAC, VSTTE，ATVA,
FACS
u 2015:
HSCC, ATVA, TASE, ICECCS, WPHS
u 2014: HSCC, TAMC, ICTAC, UTP,
FACS, TASE, ICECCS，EASLLC, FSFMA, HTSS
u 2013: ICTAC, ICECCS, HTSS,
FACS, FSFMA, RIVF, COMPUTATION TOOLS
u 2012: ICECCS, ICTAC, RIVF,
TIMES, TAMC, TASE, UTP, COMPUTATION TOOLS
u 2011: KSE, ICFEM, TIMES,
COMPUTATION TOOLS
u 2010: ICTAC, KSE, FACS, UTP
u 2009: ICTAC, KSE, FACS
u 2008: ICTAC, HTSS
u 2007: ICTAC, HTSS
u 2006: ICECCS
Thesis:
n Master
thesis: Pi-calculus and its
application, Nanjing
University, June,
1996.
n PhD
thesis: Higher-order Duration Calculus and Its Applications (in
Chinese), Institute
of Software, Chinese Academy of Sciences, June, 2000.
Grants:
[1]. 2022.8-2027.7, “Trustworthy AI Algorithms
under Open Environment”,
CAS
Project for Young Scientists in Basic Research
[2]. 2022.12-2027.11, “Mathematical Foundations for
Verification of Safety-Critical Software”, funded by National Key R&D
Program of China
[3]. 2022.1-2026.12, “Knowledge Modeling and Construction
for Embedded System IPs”, a grant project funded by Natural Science Foundation
of China
[4]. 2018.1-2022.12, “Theories and Tools of Automated
Theorem Proving for Program Verification”, a key project funded by Natural Science
Foundation of China.
[5]. 2017.1-2021.12, “Formal Design of Complex
Safety-Critical Embedded Systems”, Outstanding Youth Fund of Natural Science
Foundation of China.
[6]. 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.
[7]. 2014.1-2018.12, “Theories and Tools for
Dependable Safety Critical Systems”, a CAS/SAFEA “International Creative Team”
project.
[8]. 2014.1-2018.12, “Construction and QoS of
Safety Critical Systems”, a “973” project funded by the Ministry of Science and
Technology.
[9]. 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.
[10]. 9.2009-8.2014, “Outstanding youth fund of
Institute of Software, Chinese Academy of Sciences”.
[11]. 2009.1-2012.12, “Refinement, Coordination
and Glue of Software Components”, funded by Natural Science Foundation of China.
[12]. 2008-12-2011, “Component-based Methods for
Embedded Systems”, a key project of Natural Science Foundation of China.
[13]. 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.
[14]. 10.2005-9.2008, “Applying Symbolic
Computation Approach to Formal Methods”, funded by Natural Science Foundation
of China.
[15]. 11.2004-10.2007, “Innovative Group on
Formal Methods”, coordinated by Prof. Lin Huimin,
funded by Natural Science Foundation of China.
[16]. 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:
Post-docs
n Xiong Xu (PhD from ISCAS)
Graduate
students
n Shenghua Feng (PhD student)
n Tengshun Yang (PhD student)
n Han Sun (PhD student)
n Xiangyu Jin (PhD student)
n Ziran Wang (PhD student)
n Hao Wu (PhD student)
n Jiyu Zhu (PhD student)
n Qiang Gao (Master student)
n Chenhao Wu (Master student)
Undergraduate
students
n Weiqiang Xiong (UCAS)
Alumni
n Dr. Jiang Liu (Post-doc, associate
professor in Chongqing
Institute of Green Intelligent Technology)
n Dr. Ming Xu (Post-doc, associate professor
in East China Normal University)
n Dr. Shuling Wang
(Post-doc, research associate professor in Institute of Software, Chinese
Academy of Sciences)
n Dr. Jiaqi Zhu
(Post-doc, research associate professor in Institute of Software, Chinese
Academy of Sciences)
n Zhao Quan (Master student)
n Yang Gao (Master student, PhD student at
Oldenburg University)
n Dr. Hengjun Zhao
(PhD student, assistant professor in Southwest University)
n Danqing Guo (Master student)
n Liang Zou (PhD student, Post-doc at NTU)
n Yu Peng (Master student, Sina)
n Dr. Yangjia Li
(Post-doc, research associate professor in Institute of Software, Chinese
Academy of Sciences)
n Tao Liu (Master student, Netease)
n Mingshuai Chen (PhD student, Aachen
Technical University, post-doc)
n Jian Wang (Master student, MPI, PhD)
n Dr. Yan Zhang (Post-doc, an assistant
professor in Nanjing Forestry University)
n Haolan Zhan (Master student, Microsoft)
n Qianqian Lin (Master student)
n Lintai Wang (PhD student)
n Qiuye Wang (PhD student)
n Alexander Bentkamp
(Post-doc)
Teaching:
n Formal
Methods (PhD students,
fall 2022)
n Mathematical
Logic and Programming Theories (Graduate students, fall 2021)
n Discrete
mathematics (Undergraduate
students, spring 2017, springer 2019)
n 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: Jan. 30, 2023