房丙午，男，南京航空航天大學計算機科學與技術專業研究生畢業，博士，教授。安徽工程大學、合肥大學兼職碩士研究生導師，中國計算機學會會員，安徽省計算機學會理事，安徽省人工智能學會理事，安徽省教學名師。《電子學報》《Connection Science》等SCI/EI期刊審稿人，國際學術會議ISSSR2021、ISSSR2022以及DSA2023的ISE Workshop 程序委員。

研究方向：智能系統安全性、機器學習。

主持科研項目：

（1）安徽省高校自然科學基金重大項目，KJ2021ZD0175，混合式學習環境下AI賦能的自適應學習研究，2021-2023，結題。

（2）安徽省高校自然科學基金重點項目，KJ2017A859，動態多關系網路結構發現方法，2017-2018，結題。

（3）安徽省高校學科（專業）拔尖人才學術資助項目，GXBJZD32，云計算資源管理與優化調度研究，2018-2019，結題。

（4）工業和信息化部重點實驗室課題，NJ2019006，信息物理融合系統智能化模型檢測方法研究，2019-2021，結題。

科研論文：

(1)隨機混成系統稀有屬性的統計模型檢測方法. 軟件學報, 2022, 33(10),EI.第一作者

(2)Safety Analysis Method of Mixed Failure Model Using Temporal Bayesian Network. Journal of Internet Technology 2021.10,SCI.通信作者

(3) Towards A Statistical Model Checking method for Safety-Critical Cyber-Physical System Verification. Security and Communication Networks 2021.05,SCI.通信作者

(4)υ-Support vector machine based on discriminant sparse neighborhood preserving embedding. Pattern Analysis and Applications，2017，20(4),SCI. 第一作者

(5) Search-based Software Debugging Based on Weighted Fault Propagation Graph. Journal of Performability Engineering，2019,15（12）,EI. 第一作者

(6)狀態不可觀測的信息物理融合系統運行時驗證. 電子學報, 2018,46(12) ,EI. 第一作者

(7)基于隱馬爾科夫模型的隨機系統運行時安全性驗證. 工程科學與技術,2018,6(6), EI. 第一作者

(8)基于混合貝葉斯網絡的混合系統安全性分析方法. 電子學報, 2017,45(12) EI. 第一作者

(9)基于貝葉斯網絡的復雜系統動態故障樹定量分析方法.電子學報,2016,44(5) ,EI. 第一作者

教研成果：

（1）2022年獲得國家級教學成果二等獎1項

（2）2020年獲安徽省教學成果特等獎1項

（3）2018年獲安徽省教學成果一等獎1項