劉傑，男，1974年10月出生，博士，副教授，碩士研究生導師，2003网站太阳集团副院長。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，核電站數字儀控系統運行時安全監控研究