Zhe Chen
Personal Homepage
Profile

博士毕业于法国国立应用科学院,获计算机系统专业博士学位,出国前曾就读于中南大学、上海交通大学。曾任职于微软亚洲研究院,法国国家科学研究中心系统分析与架构实验室(LAAS-CNRS),从事研究开发工作。主要研究兴趣包括软件工程、程序设计语言、计算机科学理论、以及这些方法在高可信软件工程等方面的应用。主持国家自然科学基金3项、参与3项。作为第一作者在TSE、TOSEM、SPE、COMPJ、IPL、FUIN、TSMJ、SL等著名国际学术期刊和OOPSLA、ICSE、ISSTA、TACAS、SPIN、COMPSAC、ICFEM、TASE等著名国际会议共发表了60余篇研究论文,并获得2019年ACM SIGSOFT杰出论文奖(Distinguished Paper Award)。现任中国计算机学会形式化方法专委会执行委员,曾任中国计算机学会中国软件大会优秀青年学者论坛主席。


研究方向:

学科研究方向一:计算机科学与技术

计算机科学与技术,程序设计语言,建模语言,人工智能,自动推理和求解技术。

学科研究方向二:软件工程

软件工程,智能软件分析和验证,及其在航空航天软件工程中的应用。

学科研究方向三:网络空间安全

网络空间安全,信息安全,物联网安全,网络协议验证。

学科研究方向四:电子信息

包括以上研究方向的内容。

欢迎以上各方向的保研、考研学生联系,剩余学生名额较多。


承担的科研项目情况(部分):

主持多项科研项目:

1. 国家自然科学基金:内存安全性和形式化规约的运行时验证(62172217),2022/01/01-2025/12/31,主持

2. 国家自然科学基金:航电系统软件可靠性的形式化验证技术研究(U1533130),2016/01/01-2018/12/31,主持

3. 国家自然科学基金:基于控制机制的软件可靠性新技术及其理论研究(61100034),2012/01/01-2014/12/31主持

4. 中央高校基本科研业务费人工智能+专项

5. 教育部留学回国人员科研启动基金

6. 中国博士后科学基金特别资助项目

7. 中国博士后科学基金

参与多项科研项目:

1. 国家自然科学基金:基于抽象的软件符号模型检测研究(61170043),2012/01/01-2015/12/31

2. 国家自然科学基金:M-可解性、M-计算复杂性与计算机科学的模型理论(61033002),2011/01/01-2014/12/31

3. 国家自然科学基金:概率进程演算的测试语义(60703033),2008/01/01-2010/12/31

等等......


发表学术论文,出版专著情况(部分):


指导研究生情况:

目前指导多名博士生、硕士生,提供优秀的学习研究环境。

计划招收4名硕士研究生, 学术型和专业型都招收; 并具有招收推免生的资格。欢迎参加推免、考研的同学前来联系。

如果你对计算机和编程具有浓厚的兴趣,希望在研究生阶段增长知识、提高能力,那么欢迎加入我们课题组。

  • Educational Experience
  • Work Experience
2007-8 | 2010-7
  • 法国国立应用科学学院
  • Computer Systems
  • With Certificate of Graduation for Doctorate Study
  • Doctoral Degree in Engineering

2006-9 | 2011-2
  • 上海交通大学
  • Computer Software
  • With Certificate of Graduation for Doctorate Study
  • 工学博士

2003-9 | 2006-4
  • 中南大学
  • 模式识别与智能系统
  • With Certificate of Graduation for Study as Master's Candidates
  • Master's Degree in Engineering

1999-9 | 2003-6
  • 中南大学
  • 计算机科学与技术
  • University graduated
  • Bachelor's Degree in Engineering

  • Social Affiliations
  • Research Focus
Personal Information

Associate Professor
Supervisor of Master's Candidates

Gender:Male

Alma Mater:National Institute of Applied Science (France)

Degree:Doctoral Degree in Engineering

School/Department:College of Computer Science and Technology

Business Address:将军大道29号

Click:

Open time:..

The Last Update Time:..


Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)

MOBILE Version