• 其他栏目

    陈哲

    • 副教授 硕士生导师
    • 招生学科专业:
      计算机科学与技术 -- 【招收硕士研究生】 -- 计算机科学与技术学院/人工智能学院
      软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院/人工智能学院
      网络空间安全 -- 【招收硕士研究生】 -- 计算机科学与技术学院/人工智能学院
      电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院/人工智能学院
    • 性别:男
    • 毕业院校:法国国立应用科学院
    • 学历:法国国立应用科学学院
    • 学位:工学博士学位
    • 所在单位:计算机科学与技术学院/人工智能学院/软件学院
    • 办公地点:将军大道29号
    • 联系方式:zhechen -at- nuaa dot edu dot cn
    • 电子邮箱:

    访问量:

    开通时间:..

    最后更新时间:..

    个人简介:

    博士毕业于法国国立应用科学院,获计算机科学博士学位,出国前曾就读于中南大学、上海交通大学。曾任职于微软亚洲研究院,法国国家科学研究中心系统分析与架构实验室(LAAS-CNRS),从事研究开发工作。主要研究兴趣包括计算机科学、软件工程、信息安全、自动软件分析和验证,程序设计语言与建模语言,高可信软件等,及其在航空航天、网络通信、物联网、信息安全等领域的应用。主持国家自然科学基金2项、参与3项。作为第一作者在SPE、COMPJ、IPL、FUIN、TSMJ、SL等著名国际学术期刊和ICSE、ISSTA、TACAS、SPIN、COMPSAC、ICFEM、TASE等著名国际会议和国内核心期刊发表了40余篇研究论文,获得2019年ACM SIGSOFT Distinguished Paper Award。


    研究方向:

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

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

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

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

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

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

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

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


    欢迎以上各方向的保研、考研学生联系。


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


    承担的科研项目情况:

    主持多项科研项目:

    1. 国家自然科学基金:航电系统软件可靠性的形式化验证技术研究(U1533130)

    2. 国家自然科学基金:基于控制机制的软件可靠性新技术及其理论研究(61100034)

    参与多项科研项目:

    3. 国家自然科学基金:基于抽象的软件符号模型检测研究(61170043)

    等等......


    指导研究生情况:

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

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

    教育经历

    2007.8 -- 2010.7
    法国国立应用科学学院       计算机系统       博士研究生       工学博士

    2006.9 -- 2011.2
    上海交通大学       计算机软件与理论       博士研究生       工学博士

    2003.9 -- 2006.4
    中南大学       模式识别与智能系统       硕士研究生       工学硕士

    1999.9 -- 2003.6
    中南大学       计算机科学与技术       大学本科       工学学士

    工作经历

    2011.2 -- 至今

    南京航空航天大学      计算机科学与技术学院

    2006.3 -- 2006.9

    微软亚洲研究院      自然语言计算组