新闻动态

首页 >> 新闻动态
刘譞哲副教授获得2021年北京大学“教学卓越奖”
  日前，北京大学2021年教学奖和教学管理奖获奖名单经校长办公会议审议通过，正式对外公布。重点实验室刘譞哲副教授获得“教学卓越奖”，是全校5名获奖者之一
2021-08-04
科技创新2030——“新一代人工智能”重大项目 《智能医生助理关键技术及应用研究》...
 2021年7月26日，由北京大学承担的科技创新2030——“新一代人工智能”重大项目《智能医生助理关键技术及应用研究》项目启动暨实施方案论证会在北京顺利召开。科技部项目专家组成员、科技部高技术中心信息处项目主管、北京大学科学研究部负责人、北京大学...
2021-08-02
实验室三篇ESECFSE'21论文获得ACM SIGSOFT杰出论文奖
    近日，软件工程顶级会议ESEC/FSE'21组委会公布了该会议上的ACM SIGSOFT杰出论文奖名单，北京大学计算机科学技术系参与的三篇论文获奖。ACM SIGSOFT杰出论文奖是由ACM SIGSOFT设立的论文奖项，用于奖励软件工程顶级会议上不超过10%的最优秀论文。本次会...
2021-07-29
谢涛教授获ASE 2021最有影响力论文奖
近日，软件工程国际顶级会议ASE 2021最有影响力论文奖励委员会主席公布：该会议上的两个最有影响力论文奖（Most Influential Paper Award）之一颁给了北京大学计算机科学技术系讲席教授谢涛和他早年指导的前北卡州立大学博士生Suresh Thummalapenta（现任...
2021-07-29
金芝教授团队和实验室111引智基地专家Sumi Helal教授团队在信息物理空间系统安全事...
该文章题为IoTranx: Transactions for Safer Smart Spaces (https://doi.org/10.1145/3471937)，作者为：Chao Chen, Sumi Helal, Zhi Jin, Mingyue Zhang, Choonhwa Lee。这项工作首次提出了物联网事务处理概念，通过将智能空间建模为一个高度动态的数据库...
2021-06-29
首页上页1...1415161718...73下页尾页

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