[c12]Hongliang Liang, Daijie Zhang, Xiaodong Jia, Xiaoxiao Pei, Guangyuan Li: Verifying RTuinOS using VCC: From approach to practice. SNPD 2016: 373-378
发布时间：2022-02-21 点击次数：
梁洪亮（副教授）
+
- 博士生导师 硕士生导师
- 教师英文名称：Liang Hongliang
- 电子邮箱：
- 所在单位：计算机学院（国家示范性软件学院）
- 职务：副教授
- 学历：研究生毕业
- 办公地点：教三楼821室
- 性别：男
- 联系方式：hliang@bupt.edu.cn
- 学位：博士学位
- 在职信息：在职
- 毕业院校：中国科学院软件研究所
- 学科：计算机科学与技术*
- 所属院系：计算机学院（国家示范性软件学院）
- 曾获荣誉：
2005当选：北京市科技进步奖二等奖；
2007当选：中科院软件所研究生优秀指导教师；
2016当选：北京邮电大学大学生创新创业优秀指导教师
- 邮编：
- 通讯/办公地址：
- 邮箱：
访问量：
开通时间：..
最后更新时间：..