新闻动态

首页 >> 新闻动态
梅宏教授当选欧洲科学院外籍院士
近日，欧洲科学院公布2018年院士增选结果，重点实验室梅宏主任当选为欧洲科学院外籍院士。 欧洲科学院（The Academy of Europe，亦称Academia Europaea）由欧洲35国科学部长倡导创立，并由英国皇家学会等代表欧洲最高...
2018-09-26
王腾蛟教授担任北京大学计算社会科学研究中心主任
2018年6月28日，北京大学计算社会科学研究中心成立大会暨学术研讨会在北京大学英杰交流中心月光厅举行。会议由信息科学技术学院主办，高可信软件技术教育部重点实验室副主任王腾蛟教授主持。北京大学王博副校长、信息...
2018-09-11
金芝、郭耀、周明辉、郝丹、熊英飞等老师和学生参加了国际软件工程会议
2018年5月27日到6月3日，国际软件工程会议ICSE 2018于瑞典哥德堡召开，软件所金芝、郭耀、周明辉、郝丹、熊英飞等老师和多名博士生参加了这次软工盛会。这次会议上，软工所师生在大会的多个Track上（包括Research Tr...
2018-07-06
刘譞哲副教授入选教育部“长江学者奖励计划”的青年长江项目
近期，教育部公布2017年度“长江学者奖励计划”入选名单，重点实验室刘譞哲副教授入选2017年度“青年长江学者”，并参加了为期6天的2017“长江学者奖励计划”青年项目研修班（井冈山），与包括清华大学、复旦大学、中...
2018-07-06
重点实验室获2017年北京市高等教育教学成果奖
近日，北京市教育委员会公布了2017年北京市高等教育教学成果奖的获奖项目，重点实验室成员为主要获奖人情况：“普惠中拔尖”：面向优秀学生的本科计算机人才国际化培养体系获一等奖，主要获奖人：李文新、郭耀、张铭...
2018-05-17
首页上页1...2930313233...76下页尾页

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