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

•       Editorial Boards of  Formal Aspects of Computing, Journal of Logical and Algebraic Methods in Programming, Journal of Software, Chinese Journal of Electronics, and Computer Research and Development

•       Steering committee members of MEMOCODE, SETTA

•       PC members of

•       2023: TACAS, FM

•       2022: RTSS, HSCC, ICCPS, FORMATS, iFM, TASE, ICFEM, LCA

•       2021: FM (co-chair), HSCC, ADHS, EMSOFT, TASE

•       2020: CAV, RTSS, HSCC, EMSOFT, TTSS, TASE, ICFEM, iFM, SNR

•       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]. 2022.1-2026.12, “Knowledge Modeling and Construction for Embedded System IPs”, a grant project funded by Natural Science Foundation of China

[2]. 2018.1-2022.12, “Theories and Tools of Automated Theorem Proving for Program Verification”, a key project funded by Natural Science Foundation of China.

[3]. 2017.1-2021.12, “Formal Design of Complex Safety-Critical Embedded Systems”, Outstanding Youth Fund of Natural Science Foundation of China.

[4]. 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.

[5]. 2014.1-2018.12, “Theories and Tools for Dependable Safety Critical Systems”, a CAS/SAFEA “International Creative Team” project.

[6]. 2014.1-2018.12, “Construction and QoS of Safety Critical Systems”, a “973” project funded by the Ministry of Science and Technology.

[7]. 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.

[8]. 9.2009-8.2014, “Outstanding youth fund of Institute of Software, Chinese Academy of Sciences”.

[9]. 2009.1-2012.12, “Refinement, Coordination and Glue of Software Components”, funded by Natural Science  Foundation of China.

[10]. 2008-12-2011, “Component-based Methods for Embedded Systems”, a key project of Natural Science Foundation of China.

[11]. 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.

[12]. 10.2005-9.2008, “Applying Symbolic Computation Approach to Formal Methods”, funded by Natural Science Foundation of China.

[13]. 11.2004-10.2007, “Innovative Group on Formal Methods”, coordinated by Prof. Lin Huimin, funded by Natural Science Foundation of China.

[14]. 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

•       Xiong Xu (PhD from ISCAS)

Graduate students

•       Lintai Wang (PhD student)

•       Qiuye Wang (PhD student)

•       Shenghua Feng (PhD student)

•       Tengshun Yang (PhD student)

•       Han Sun (PhD student)

•       Xiangyu  Jin (PhD student)

•       Ziran Wang (PhD student)

•       Hao Wu (Master student)

•       Qiang Gao  (Master student)

Undergraduate students

•       Henglei Lv (UCAS)

•       Weiqiang Xiong (UCAS)

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 associate professor 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, research associate professor in Institute of Software, Chinese Academy of Sciences)

•       Tao Liu (Master student, Netease)

•       Mingshuai Chen (PhD student, Aachen Technical University, post-doc)

•       Jian Wang (Master student, MPI, PhD)

•       Dr. Yan Zhang (Post-doc, an assistant professor in Nanjing Forestry University)

•       Haolan Zhan (Master student, Microsoft)

•       Qianqian Lin (Master student)

Teaching:

•       Formal Methods (PhD students, fall 2021)

•       Mathematical Logic and Programming Theories (Graduate students, fall 2021)

•       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!

Naijun Zhan

Last modified: Nov. 25, 2017

free web stats