新闻动态

首页 >> 新闻动态
重点实验室成员金鑫博士获颁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
重点实验室毕业生徐梦炜荣获2021年度ACM SIGMOBILE China优秀博士论文奖
近日，ACM SIGMOBILE China优秀博士论文奖获奖名单公布，北京大学计算机科学技术系软件研究所2020届毕业生徐梦炜入选，也是本年度该奖项唯一获奖者。徐梦炜博士2011年进入北京大学信息科学技术学院本科学习，2015年直博进入北京大学软件所攻读博士学位，师...
2021-09-29
熊英飞副教授获MODELS 2021最有影响论文奖
近日，模型驱动开发国际旗舰会议MODELS 2021公布其十年最有影响论文奖，由MODELS 2011的论文“From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case”获得，重点实验室熊英飞副教授为该论文的共同一作，另外一名共同一作...
2021-09-14
首页上页1...1314151617...73下页尾页

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