• 其他栏目

    陈哲

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

    访问量:

    开通时间:..

    最后更新时间:..

    个人简介

    博士毕业于法国国立应用科学院,获计算机系统专业博士学位,出国前曾就读于中南大学、上海交通大学。曾任职于微软亚洲研究院,法国国家科学研究中心系统分析与架构实验室(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名硕士研究生, 学术型和专业型都招收; 并具有招收推免生的资格。欢迎参加推免、考研的同学前来联系。

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

    教育经历

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

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

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

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

    工作经历

    2011.2 -- 至今

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

    2006.3 -- 2006.9

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