新闻动态

首页 >> 新闻动态
郭耀、陈向群、孙艳春、黄罡、刘譞哲等老师获北京大学2021年度教学成果奖
2021年12月9日，北京大学教务部发文公布了北京大学2021年教学成果奖项目。根据《北京大学教学成果奖励实施办法》的规定，北京大学教学成果奖评审委员会经过评审，评选出120项北京大学教学成果奖，其中校级特等奖20项，校级一等奖60项，校级二等奖40项，并...
2021-12-28
黄罡教授课题组在数联网中国云方案研究方面取得重要进展
随着互联网及新一代信息技术与应用的蓬勃发展，数据成为基础性战略资源和关键性生产要素。在不可信的互联网之上实现可信可管可控的数据互联互通和智能应用，成为数字经济和数字社会健康发展的基本要求，正在推动形成以数据为中心的新型基础设施——数联网...
2021-12-28
高可信软件技术学术研讨会成功举办
2021年12月11日-12日，由北京大学高可信软件技术教育部重点实验室主办了第十届高可信软件技术研讨会暨高可信软件技术学科引智基地学术研讨会。由于疫情影响，此次会议采用线上会议和线下会议相结合的方式举行。 会议现场高可信软件技术学科引智基地（简称1...
2021-12-28
2021年高可信软件技术教育部重点实验室年会在北京召开
2021年高可信软件技术教育部重点实验室年会于12月11日下午在北京大学召开，会议采用线下和线上相结合的方式，重点实验室成员教师在线下参加，香港分实验室和有关人员在线上参加。会议由重点实验室常务副主任金芝教授主持，并作了2021年度重点实验室和香港...
2021-12-14
熊英飞副教授入选2021年度“CCF-IEEE CS青年科学家奖”
2021年10月18日，中国计算机学会 中国计算机学会公布了2021年度“CCF-IEEE CS青年科学家奖”的评选名单，重点实验室熊英飞副教授给予在程序自动修复方面所做出的突出贡献而获此殊荣。“CCF-IEEE CS青年科学家奖”授予在科学研究方面有突出成就和重要贡献、...
2021-10-21
首页上页1...1213141516...73下页尾页

高可信软件技术教育部重点实验室(北京大学) , Key Lab of High Confidence Software Technologies(PKU), Ministry of Education