刘杰，男，1974年10月出生，硕士，副教授，硕士研究生导师，主要研究方向为安全攸关领域软件的可信计算技术，主要内容包括软件的建模、验证和测试的理论、技术和方法。近五年来，主持或参与国家自然科学基金、湖南省自然科学基金、湖南省哲学社会科学基金等国家级及省厅级科研课题4项，在国内外重要学术期刊上发表科研论文7篇，其中2篇CSCD收录，3篇被SCI/EI收录。Email: jliuhn@foxmail.com。

近五年主要著作：

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

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

[3]A Formal Framework for Hybrid Event B. Electronic Notes in Theoretical Computer Science, 2014.（EI）

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

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

[6]基于系统理论的稳压器压力控制器安全性分析. 信息技术, 2016. （科技核心）

[7]STAMP 模型及其在核电厂 DCS 安全分析中的应用展望. 核安全, 2013.

主要课题：

[1]核电站数字仪控系统运行时安全监控研究(湖南省科技厅科技计划项目编号：2011GK3192)

[2]压水堆DI&C系统软件全约束模型构建理论和方法研究（中国核动力研究设计院核反应堆设计技术重点实验室项目）

[3]基于MARTE的实时系统模型驱动框架关键问题研究（国家自然科学基金）

[4]时空统一建模、精化和验证方法研究(国家自然科学基金）