刘杰，男，1974年10月出生，博士，副教授，硕士研究生导师，计算机学院副院长。1997年本科毕业于国防科技大学计算机专业，2018年获华东师范大学计算机应用技术博士学位。国家智能教育技术专委会常务理事，湖南省人工智能学会理事。国家万名创新创业优秀导师。

近年主要以核电系统为主要应用背景，研究因果人工智能、大数据技术、形式化方法等技术，提升安全攸关系统的可靠性和安全性。近五年来，主持或参与国家自然科学基金、湖南省自然科学基金、湖南省哲学社会科学基金等国家级及省厅级科研课题4项，完成 32套国产核电系统验证和确认工作，申请发明专利5项，已授权3项，获得软件著作权 3 项。 获得计算机学会科技进步一等奖1项。Email: jliuhn@foxmail.com。          

主要著作：  

[1] A Proof-based Method for Hybrid Systems Development Using Differential Invariants. Frontiers Computer Science, 2018, 12(5):1026-1028.

[2] A Formal Framework for Hybrid Event B. Electronic Notes in Theoretical Computer Science, 2014, 309(12): 3-12.

[3] An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. In Computer Software and Applications Conference (COMPSAC), 2017 IEEE 41st Annual, Turin, Italy 2017. 7.4-7.8

[4] Hybrid Event B. In Proceeding of The 6th Internatioal Workshop on Harnessing Theories for Tool Support in Software, pages 64-73, 2013.

[5] Safety Verification of State/Time-Driven Hybrid Systems Using Barrier Certificates. In Proceeding of the 35th Chinese Control Conference, pages: 2483-2489, 2016.

[6] Method of Detecting Unary Polynomial Inequality Likely Invariants. International Conference on Mechanics ,Robotics and Automation, 2013.

[7] Timed Behavioral Specification in Globally Asynchronous Locally Synchronous systems. TELKOMNIKA Indonesian Journal of Electrical Engineering, 2013.  

[8] 基于合约逐级求解的系统测试用例生成[J]. 计算机工程与设计, 2020, 41(3):8.

[9] 基于DCS系统组件的变力度组合测试方法[J]. 计算机工程, 2021.

[10] 龙格库塔程序的似然蜕变关系识别方法[J]. 计算机工程与设计, 2022, 43(4):8.

[11] 基于 STAMP 模型的核动力蒸汽发生器水位控制系统安全性分析. 中国安全生产科学技术, 2014.

[12] 基于微分动态逻辑的数字化反应堆控制系统建模与验证方法. 中国安全生产科学技术, 2015.

主要课题：

[1] 国家自然科学基金面上项目，61572195，时空统一建模、精化和验证方法研究

[2] 国家自然科学基金面上项目，61472140，信息物理融合系统的随机行为建模与验证

[3] 国家自然科学基金面上项目，61170084，基于MARTE的实时系统模型驱动架构关键

[4] 核反应堆设计技术国家重点实验室基金，HT-YK-04-2015002，压水堆DI&C系统软件全约束模型构建理论和方法研究

[5] 核反应堆设计技术国家重点实验室基金，LRSDT2017304，系统软件测试用例自动生成技术研究

[6] 湖南省科技厅科技计划项目，2011GK3192，核电站数字仪控系统运行时安全监控研究