梁洪亮（副教授）
+
- 曾获荣誉：
2005当选：北京市科技进步奖二等奖；
2007当选：中科院软件所研究生优秀指导教师；
2016当选：北京邮电大学大学生创新创业优秀指导教师 - 博士生导师 硕士生导师
- 教师英文名称：Liang Hongliang
- 电子邮箱：
- 所在单位：计算机学院（国家示范性软件学院）
- 职务：副教授
- 学历：研究生毕业
- 办公地点：教三楼821室
- 性别：男
- 联系方式：hliang@bupt.edu.cn
- 学位：博士学位
- 在职信息：在职
- 毕业院校：中国科学院软件研究所
- 学科：计算机科学与技术*
- 所属院系：计算机学院（国家示范性软件学院）
- 招生学科： 计算机科学与技术*
- 邮编：
- 通讯/办公地址：
- 邮箱：
访问量：
开通时间：..
最后更新时间：..
计算机学院副教授、博士生导师、硕士生导师。
2002年于 中国科学院软件研究所 获 计算机软件与理论方向 博士学位。长期研究智能系统及可信软件方向，在国际知名期刊/会议发表学术论文 70余篇，含中科院分区一区和二区 12篇，CCF A类和B类 11篇。获得北京市科技进步奖1项。参与制定国家标准3项。
指导大学生和研究生创新创业项目 16项，其中获评国家级 2项。获评“北京邮电大学大学生创新创业优秀指导教师”。
指导博士和硕士研究生已毕业 60余人，3人获得研究生国家奖学金。获评“中国科学院软件研究所研究生优秀指导教师”。
主持和参与国家各类科研项目 30余项，包括国家重点研发项目1项、国家863课题1项、国家自然科学基金3项、国家载人航天工程项目2项、国防课题10余项。研究成果获得国家部委机构和航空航天单位、思科、小米等公司的应用合作。
智能系统方向的成果已应用于国家信创事业基础软件产品中，并得到了Linux、Libvirt、FreeBSD、OpenSSL、RIOT、FreeRTOS等主流开源社区的认可和肯定。
可信软件方向的成果已应用于国家长征7号火箭软件控制系统、天宫空间站软件系统等重大型号任务中，得到了中国航天科技集团航天软件研发中心、航天装备软件评测中心的高度评价。
接收大三本科生加入课题组进行学术科研训练，表现优秀者可推荐校内保研。
学术代表作：
Hongliang Liang; Luming Yin; Wenying Hu; Yuxing Li; Wuwei Shen ; Unified and Split Symbolic Execution for Exposing Semantic Differences, ACM Transactions on Software Engineering and Methodology, （TOSEM）2025 (CCF A)
Ruikang Ni, Da Xiao, Qingye Meng, Xiangyu Li, Shihui Zheng, Hongliang Liang: Benchmarking and Understanding Compositional Relational Reasoning of LLMs. AAAI (2025) (CCF A)
Hongliang Liang, Xiangyu Li, Da Xiao, etc: Generative Pre-Trained Transformer-Based Reinforcement Learning for Testing Web Application Firewalls. IEEE Trans. Dependable Secur. Comput. (TDSC) 2024 (CCF A)
Hongliang Liang, Xinglin Yu, Xianglin Cheng, etc: Multiple Targets Directed Greybox Fuzzing. IEEE Trans. Dependable Secur. Comput. (TDSC) 2024 (CCF A)
Hongliang Liang, Mingyu Li, Yixiu Chen, Lin Jiang, Zhuosi Xie, Tianqi Yang: Establishing Trusted I/O Paths for SGX Client Systems With Aurora. IEEE Trans. Inf. Forensics Secur. (TIFS) 2020 (CCF A)
Dongyu Ma, Zeyu Liang, Luming Yin, Hongliang Liang: Symbolic testing of floating-point bugs and exceptions. J. Syst. Softw. 219: 112226 JSS (2025) （CCF-B）
Xinglin Yu, Hongliang Liang, Chunlin Wang: Multiple Targets Directed Greybox Fuzzing: From Reachable to Exploited. SANER 2024: 907-917 （CCF-B）
Chunlin Wang, Hongliang Liang: Value Peripheral Register Values for Fuzzing MCU Firmware. ISSRE 2023 (CCF B)
Hongliang Liang, Dengji Hang, Xiangyu Li: Modeling function-level interactions for file-level bug localization. Empir. Softw. Eng. (EMSE) 2022 (CCF B)
Hongliang Liang, Zhuosi Xie, Yixiu Chen, Hua Ning, etc. FIT: Inspect vulnerabilities in cross-architecture firmware by deep learning and bipartite matching.In Computers & Security (COSE). Vol.99: 102032. 2020 (CCF B)