新闻动态

首页 >> 新闻动态
重点实验室2020年学术委会议在北京召开
重点实验室学术委员会2020年会议于2021年1月18日上午在北京召开。根据“疫情”的特殊情况，会议分为线上线下进行。参加会议的有学术委主任委员林惠民院士、副主任委员吕建院士、委员陈左宁、廖湘科、陈纯、王怀民、吕荣聪、张健、徐宝文、赵文耘、杜小勇、...
2021-01-20
李浩源博士受聘重点实验室客座副教授并做学术报告
2020年12月28日上午，高可信软件技术教育部重点实验室在理科二号楼2736会议室举行李浩源博士受聘客座副教授仪式，重点实验室主任梅宏院士为李浩源博士颁发聘书。随后，李浩源博士做了题为《Data Orchestration for AI, Big Data, and Cloud》的学术报告。...
2020-12-29
第十届高可信软件技术学术研讨会
2020年12月5日-6日，由北京大学高可信软件技术教育部重点实验室主办了第十届高可信软件技术研讨会暨高可信软件技术学科引智基地学术研讨会。由于疫情影响，此次会议采用线上会议和线下会议相结合的方式举行。高可信软件技术学科引智基地（简称111计划）目...
2020-12-08
2020年高可信软件技术教育部重点实验室年会在北京召开
      2020年高可信软件技术教育部重点实验室年于2020年12月5日下午在北京西苑饭店召开，参加会议的人员为线下主会场的重点实验室成员与线上香港分实验室的成员。会上，由常务副主任金芝教授主持并作了《重点实验室年度工作报告》，梅宏主任作了重要讲话...
2020-12-07
胡振江教授当选日本工程院外籍院士
近日，胡振江教授收到日本工程院小林喜光院长通知，通知他当选为日本工程院外籍院士。日本工程院(The Engineering Academy of Japan)成立于1987年，由大学、产业界以及国家机关中在工程及科学技术相关领域作出卓越贡献，并具有重要领导和指导地位的人士组...
2020-11-23
首页上页12345...56下页尾页

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