新闻动态

首页 >> 新闻动态
金芝教授在SANER2019上做大会特邀报告
2019年2月27日，应大会程序委员会邀请，金芝教授在This 26th IEEE International Conference on Software Analysis, Evolution and Reengineering上做了题为“Forward and Backward Traceability: Requirements and ...
2019-07-29
刘譞哲副教授荣获北京大学本届“十佳教师”
2019年3月下旬，校学生会启动了第二十三届我爱我师——最受学生爱戴的老师暨“十佳教师”评选活动。经过院系推荐、同学参与评选，评选结果于近日揭晓，我院刘譞哲副教授荣获本届“十佳教师”。 北京大学“十佳教师”...
2019-05-10
黄罡教授入选第四批“万人计划”科技创新领军人才名单
2019年2月3日，中共中央组织部办公厅下发《关于印发第四批国家“万人计划”入选人员名单的通知》，入选人员名单包含科技创新领军人才645人，科技创业领军人才397人，教学名师103人；青年拔尖人才274人（自然科学类21...
2019-03-28
梅宏院士团队研究成果荣获2018年国家技术发明一等奖
2019年1月8日上午，中共中央、国务院在北京人民大会堂隆重举行国家科学技术奖励大会。党和国家领导人习近平、李克强等出席大会并为获奖代表颁奖。韩正主持大会。 北京大学作为第一完成单位研发的项目“云-端融合的资...
2019-01-08
重点实验室年会和111基地学术研讨会在北京大学召开
重点实验室年会和111基地学术研讨会于12月20-21日在北京大学新中关园召开。参加会议的有大学科研部韦宇副部长、重点实验室的成员、特邀国内外专家等90余人。会议分为两个阶段：第一阶段于20日和21上午进行了学术研讨...
2018-12-24
首页上页1...2627282930...76下页尾页

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