新闻动态

首页 >> 新闻动态
梅宏院士团队研究成果荣获2018年国家技术发明一等奖
2019年1月8日上午，中共中央、国务院在北京人民大会堂隆重举行国家科学技术奖励大会。党和国家领导人习近平、李克强等出席大会并为获奖代表颁奖。韩正主持大会。 北京大学作为第一完成单位研发的项目“云-端融合的资...
2019-07-29
刘譞哲副教授研究团队获得中国首个国际万维网大会最佳论文奖
2019年5月17日下午，在美国旧金山举行的第28届国际万维网大会会议（World Wide Web，简称WWW）上，北京大学信息科学技术学院计算机科学技术系、高可信软件技术教育部重点实验室刘譞哲副教授课题组的论文“基于互联网...
2019-07-29
意大利米兰理工大学Carlo Ghezzi教授来访并进行合作研究
2019年7月15-31日，应金芝教授邀请，意大利米兰理工大学Carlo Ghezzi教授访问北京大学软件研究所和高可信软件技术教育部重点实验室。访问期间，Carlo Ghezzi教授为图灵班的学生，做了题为“Being a researcher in Co...
2019-07-29
金芝教授等参加国际服务计算大会
2019年7月8-13日，金芝教授、赵海燕副教授、孙艳春副教授出访意大利米兰，参加2019年IEEE WORLD CONGRESS ON SERVICES，这是服务计算领域的旗舰会议，会上，孙艳春副教授组织了“Women in Service Computing Worksho...
2019-07-29
金芝教授和博士生罗懿行访问英国开放大学
2019年2月28日到3月14日，金芝教授和博士生罗懿行访问英国Open University，就无人系统的内生安全和隐私保护问题开展合作交流。期间金芝教授还走访了111引智基地的专家，Lancaster University的Sumi Helal教授和West...
2019-07-29
首页上页1...2526272829...76下页尾页

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