新闻动态

首页 >> 新闻动态
XiUOS矽璓工业物联操作系统开源发布
2021年5月4日，北京大学梅宏院士操作系统团队研发成果XiUOS矽璓工业物联操作系统正式在确实Trustie和木兰 开源社区发布。研发背景XiUOS (X Industrial Ubiquitous Operating System) 矽璓工业物联操作系统是一款面向工业物联场景的泛在操作系统，源自人机...
2021-05-04
熊英飞副教授入选2021年度“CCF-IEEE CS青年科学家奖”
2021年10月18日，中国计算机学会 中国计算机学会公布了2021年度“CCF-IEEE CS青年科学家奖”的评选名单，重点实验室熊英飞副教授给予在程序自动修复方面所做出的突出贡献而获此殊荣。“CCF-IEEE CS青年科学家奖”授予在科学研究方面有突出成就和重要贡献、...
2021-10-21
重点实验室成员金鑫博士获颁2021达摩院青橙奖
2021年10月14日上午，阿里巴巴达摩院公布第四届青橙奖获奖名单。10位35岁及以下（U35）的青年学者，将平分1000万元奖金。今年青橙奖共收到近100位海内外院士、长江学者、IEEE/ACM Fellow等知名学者的推荐。参评的青橙奖共有365人，10名青橙奖得主经初审、...
2021-10-14
张大庆教授研究团队获得UbiComp/IMWUT杰出论文奖
2021年9月24日，在线上举行的ACM 2021 UbiComp会议上，张大庆教授团队的论文“Exploring LoRa for Long-Range Through-Wall Sensing （IMWUT Vol. 4 Issue 3 Sept. 2020）获得本届会议的杰出论文奖(Distinguished Paper Award)。ACM UbiComp是普适计算领域...
2021-10-13
李戈、金芝和张世琨两个研究团队的科研项目分别获北京市技术发明、科技进步二等奖
北京市技术发明二等奖获奖项目：智能化软件开发关键技术-需求知识建模与代码自动推荐研究与应用完成人：李戈、金芝、张霞 等第一完成单位：北京大学信息科学技术学院智能化软件开发关键技术-需求知识建模与代码自动推荐研究与应用软件产业日益成为社会经济...
2021-10-05
首页上页12345...59下页尾页

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