新闻动态

首页 >> 新闻动态
高可信软件技术教育部重点实验室召开2024年工作会议
高可信软件技术教育部重点实验室2024年工作会议于2024年12月13日上午在北京大学中关新园召开。    一、参加会议人员参加本次会议的有科研部张存群副部长和基地建设办公室的陈健、杨潇宇、武健宇老师，重点实验室的成员，同时，香港分实验室主任黄锦辉教授...
2024-12-17
博士生陈嘉尊、夏逸宽包揽Meta KDD Cup 24 CRAG挑战全部3项冠军
近日，重点实验室高军教授指导的博士研究生陈嘉尊和夏逸宽组成的DB3队伍，参加了Meta KDD Cup 24 CRAG挑战的WEB-BASED RETRIEVAL SUMMARIZATION、KNOWLEDGE GRAPH AND WEB AUGMENTATION、END-TO-END RAG全部三项任务，分别相对于第二名提升了18.33%、4.15%...
2024-11-06
刘譞哲教授获北京市青年教学名师奖
2024年10月下旬北京市教育委员会公布了2024年度北京市高等学校教学名师奖获奖名单，重点实验室刘譞哲教授荣获第八届“北京市青年教学名师奖”。 刘譞哲教授现任北京大学博雅特聘教授。他自2011年来校工作以来，先后主讲本科生主干基础课《计算概论A》、研...
2024-11-01
金鑫、刘譞哲副教授团队多项成果入选国际操作系统设计与实现大会OSDI 2024
日前，第18届国际操作系统设计与实现大会 OSDI（USENIX Symposium on Operating Systems Design and Implementation）公布本年度文章录用情况，重点实验室作为第一作者单位共有3篇论文被录用，均来自软件研究所金鑫、刘譞哲副教授团队。OSDI与另一会议SOSP...
2024-10-31
崔斌教授主编教材《大规模图神经网络》入选“十四五”国家重点出版物出版规划“人...
重点实验室崔斌教授主编教材《大规模图神经网络》入选“十四五”国家重点出版物出版规划“人工智能+”关键理论与核心技术丛书。 作者简介：崔斌，北京大学计算机学院副院长、教授、博士生导师，数据科学与工程研究所所长，IEEE Fellow，教育部长江学者特聘...
2024-10-30
首页上页12345...75下页尾页

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