新闻动态

首页 >> 新闻动态
重点实验室老师参加“北京大学-中兴通讯基础软件联合实验室”揭牌仪式暨学术交流...
2021年5月20日，“北京大学-中兴通讯基础软件联合实验室揭牌仪式暨学术交流会”在北京大学英杰交流中心召开。中兴通讯执行副总裁、CTO王喜瑜，首席发展官崔丽，公共事务部主任林晓东，中心研究院院长黄力青、副院长屠要峰，国家重点实验室运营总监牟林，操...
2021-05-20
刘譞哲副教授获得2020年度《中国科学》《科学通报》“优秀作者”
  2020年度《中国科学》《科学通报》优秀编委和优秀作者评选结果近日揭晓，共产生了10名优秀作者、10名优秀编委、3名优秀编辑。重点实验室刘譞哲副教授因对《中国科学：信息科学》期刊发展作出的突出贡献，荣获本年度“优秀作者”。 《中国科学》《科学通...
2021-05-20
XiUOS矽璓工业物联操作系统开源发布
2021年5月4日，北京大学梅宏院士操作系统团队研发成果XiUOS矽璓工业物联操作系统正式在确实Trustie和木兰 开源社区发布。研发背景XiUOS (X Industrial Ubiquitous Operating System) 矽璓工业物联操作系统是一款面向工业物联场景的泛在操作系统，源自人机...
2021-05-04
2021年度开源生态研讨会
2021年4月11日上午，2021年度开源生态研讨会于北京大学英杰交流中心星光厅成功举办，该会议得到国家重点研发计划项目课题“开源生态模式及机制”的资助。会议由重点实验室周明辉教授主持，参会者有北京航空航天大学张莉教授、北京理工大学黄河燕教授、刘辉...
2021-04-11
谢涛教授获2021年度ACM SIGSOFT杰出服务奖
国际计算机协会 ACM (Association for Computing Machinery ) 是一个世界性的计算机从业人员专业组织，创立于1947年，是世界上第一个科学性及教育性计算机学会，全世界计算机领域影响力最大的专业学术组织。SIGSOFT是ACM旗下的软件工程学术机构，为来自工...
2021-02-23
首页上页1...1516171819...73下页尾页

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