新闻动态更多

XiUOS矽璓工业物联操作系统开源发布
2021年5月4日，北京大学梅宏院士操作系统团队研发成果XiUOS矽璓工业物联操作系统正式在确实Trustie和木兰 开源社区发布。研发背景XiUOS (X Industrial Ubiquitous Operating System) 矽...
谢涛获2021年度ACM SIGSOFT杰出服务奖
国际计算机协会 ACM (Association for Computing Machinery ) 是一个世界性的计算机从业人员专业组织，创立于1947年，是世界上第一个科学性及教育性计算机学会，全世界计算机领域影响力...
第十届高可信软件技术学术研讨会
2020年12月5日-6日，由北京大学高可信软件技术教育部重点实验室主办了第十届高可信软件技术研讨会暨高可信软件技术学科引智基地学术研讨会。由于疫情影响，此次会议采用线上会议和线下会...

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