梁洪亮

梁洪亮（副教授） +3118 同专业博导 同专业硕导 曾获荣誉： 2005当选：北京市科技进步奖二等奖； 2007当选：中科院软件所研究生优秀指导教师； 2016当选：北京邮电大学大学生创新创业优秀指导教师 博士生导师  硕士生导师 教师英文名称：Liang Hongliang 电子邮箱：hliang@bupt.edu.cn 所在单位：计算机学院（国家示范性软件学院） 职务：副教授 学历：研究生毕业 办公地点：教三楼821室 性别：男 联系方式：hliang@bupt.edu.cn 学位：博士学位 在职信息：在职 毕业院校：中国科学院软件研究所 学科：计算机科学与技术* 所属院系：计算机学院 邮编：100876 通讯/办公地址：教3楼821室 邮箱：hliang@bupt.edu.cn 访问量：00034422 开通时间：2022.2.21 最后更新时间：2024.4.4 个人简介 计算机学院副教授、博士生导师、硕士生导师。2002年于 中国科学院软件研究所 获 计算机软件与理论方向 博士学位。长期研究智能系统及可信软件方向，在IEEE TDSC、TIFS、TCC、TRel、EMSE、Computers&Security、ICSE、ICPC、SANER等国内外权威期刊和会议上已发表学术论文 70余篇，其中中科院分区一区和二区 11篇，CCF A类和B类 10篇。获得北京市科技进步奖1项。参与制定国家标准3项。指导大学生和研究生创新创业项目 16项，其中获评国家级 2项。获评“北京邮电大学大学生创新创业优秀指导教师”。指导博士和硕士研究生已毕业 60余人，3人获得研究生国家奖学金。获评“中国科学院软件研究所研究生优秀指导教师”。主持和参与了国家各类科研项目 30余项，包括国家重点研发项目1项、国家863课题1项、国家自然科学基金3项、国家载人航天工程项目2项、国防课题10余项。研究成果获得国家部委机构和航空航天单位、思科、小米等公司的应用合作。智能系统类成果已经应用于国家信创事业基础软件产品中，并得到了Linux、Libvirt、FreeBSD、OpenSSL、RIOT、FreeRTOS等主流开源社区的认可和肯定。可信软件类成果已经应用于国家长征7号火箭软件控制系统、天宫空间站软件系统等重大型号任务中，得到了中国航天科技集团航天软件研发中心、航天装备软件评测中心的高度评价。实验室的更多介绍  https://gitee.com/tsislab 社会兼职 研究方向 中国计算机学会CCF高级会员、中国人工智能学会CAAI会员。国际电气与电子工程师协会IEEE会员、美国计算机学会ACM会员。 国家工信部科技项目、北京市科委项目、国家自然科学基金、教育部学位中心论文的评审专家。 IEEE TSE、TPAMI、TRel、TBD、JSS、COSE、FGCS、FCS、计算机学报、软件学报、计算机研究与发展等国内外知名期刊评审专家。 担任10余项国内外学术会议workshop主席、程序委员等学术服务工作，包括：Bench 2021、Chips 2020、VARA 2020~2018、NordSec 2018、IEEE CSCloud 2017~2015、IEEE IIKI 2016等。 可信软件：智能软件分析、软件安全性、程序分析等。 智能系统：智能、嵌入式、实时操作系统，系统可靠性，智能服务等。 工作经历 教育经历 2009/3~至今 北京邮电大学 | 副教授 2005/1~2009/2 中国科学院软件研究所 | 副研究员 中国科学院研究生院  | 计算机软件与理论  | 工学博士学位 | 博士 团队成员