新闻动态

首页 >> 新闻动态
梅宏院士在中国科学院院刊撰文阐述泛在操作系统
为了推进我国的信息技术体系建设，《中国科学院院刊》2022年第1期组织了“构建自立自强的信息技术体系”专题 ，分别从芯片、系统结构、操作系统、未来网络、信息基础设施、应用（大数据）和信息网络安全等不同角度阐述了构建自立自强信息技术体系的技术途...
2022-01-29
祝贺谢涛教授当选ACM Fellow
1月19日，国际计算机学会（Association for Computing Machinery，简称ACM）公布了2021年新当选ACM Fellow名单。北京大学计算机学院讲席教授、高可信软件技术教育部重点实验室（北京大学）副主任谢涛因在软件测试和软件解析学方面做出的贡献（For contribu...
2022-01-19
《世界教育信息》期刊2021年增刊（出国留学人物访谈录）收录对谢涛教授的访谈
《世界教育信息》期刊是由教育部主管、教育部国际合作与交流司（港澳台办公室）指导、教育部教育管理信息中心主办。《世界教育信息》2021年增刊包含了此刊与中国教育发展战略学会国际教育专业委员会共同组稿、合作推出的“出国留学人物访谈录”，对来自各...
2022-01-13
祝贺谢涛教授当选中国计算机学会会士
2021年12月27日，中国计算机学会（CCF）评选出9位2021年度CCF会士，北京大学计算机学院讲席教授、高可信软件技术教育部重点实验室（北京大学）副主任谢涛成功入选，入选理由：在软件测试技术和软件解析研究方面取得了重要成果，并为CCF学术交流做出了重要...
2022-01-13
黄罡教授课题组牵头完成全球首次数联网星地链路验证
2021年12月7日12时12分，由北京大学黄罡教授课题组牵头研制的全球首个数联网卫星节点，搭载宝酝号卫星在酒泉卫星发射中心发射升空并顺利进入预定轨道。经过三个月的调试运行，卫星节点成功将在太空生成的首批数字对象接入北大数瑞数联网，验证了数联网星地...
2022-01-05
首页上页1...1112131415...73下页尾页

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