梁洪亮(副教授)
+
- 曾获荣誉:
2005当选:北京市科技进步奖二等奖;
2007当选:中科院软件所研究生优秀指导教师;
2016当选:北京邮电大学大学生创新创业优秀指导教师 - 博士生导师 硕士生导师
- 教师英文名称:Liang Hongliang
- 电子邮箱:hliang@bupt.edu.cn
- 所在单位:计算机学院(国家示范性软件学院)
- 职务:副教授
- 学历:研究生毕业
- 办公地点:教三楼821室
- 性别:男
- 联系方式:hliang@bupt.edu.cn
- 学位:博士学位
- 在职信息:在职
- 毕业院校:中国科学院软件研究所
- 学科:计算机科学与技术*
- 所属院系:计算机学院
- 邮编:
- 通讯/办公地址:
- 邮箱:
访问量:
开通时间:..
最后更新时间:..
- 11) 国防重点实验室基金,软件缺陷可利用性分析与自动验证技术研究,2020.12--2022.12
- 12) 国防科研项目,软件缺陷高效利用实现技术,2020.12--2021.12
- 13) 国防预研项目,基于语义的缺陷分析及验证技术研究,2017.03--2010.12
- 14) 国防预研项目,基于统计学习的缺陷分析及验证方法研究,2017.03--2010.12
- 15) 国防科研项目,嵌入式操作系统分析测试与验证,2015.10--2017.10
- 16) 国防预研项目,空间站信息系统软件安全研究,2014.01--2014.12
- 17) 国防科研项目,Sparc编译器验证平台研制,2013.01--2014.01
- 18) 国防科研项目,PLC系统测试验证及故障诊断软件开发,2012.01--2013.02
- 19) 国防科研项目,测发控仿真平台开发,2012.01--2013.01
- 20) 国防科研项目,恶意代码自动分析系统,2010.07--2013.12