房丙午，男，南京航空航天大学计算机科学与技术专业研究生毕业，博士，教授。安徽工程大学、合肥大学兼职硕士研究生导师，中国计算机学会会员，安徽省计算机学会理事，安徽省人工智能学会理事，安徽省教学名师。《电子学报》《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项