新闻动态

首页 >> 新闻动态
牛津大学教授Jeremy Gibbons和查尔姆斯理工大学教授John Hughes讲授微型课
2023年10月9日-10月13日，应胡振江教授邀请，牛津大学教授Jeremy Gibbons和查尔姆斯理工大学教授John Hughes将在重点实验室线下讲授了两门微型课程：Introduction to Functional Programming和Introduction to Property Based Testing。Jeremy Gibbons是牛...
2023-10-16
重点实验室10篇论文入选第37届计算机网络系统顶级会议ACM SIGCOMM
在ACM SIGCOMM 2023上，重点实验室共有10篇高水平论文入选。作为计算机网络系统领域历史最为悠久也是最为权威的学术会议，SIGCOMM以其严苛的标准著称，对论文的质量和数量要求极高，要求所录用的论文具有基础性贡献、领导性影响和坚实系统背景。本年度ACM ...
2023-10-12
重点实验室李锭老师获得软工顶会ISSTA 最有影响力论文奖
近日，计算机学院助理教授李锭获得软件工程领域顶级会议International Symposium on Software Testing and Analysis (ISSTA）2023年度Impact Paper Award。ISSTA由美国计算机学会(ACM)举办，是国际软件工程领域最有影响力的学术会议之一，也是中国计算机学...
2023-10-05
陈向群教授申报项目入选教育部“高校教师教学组织和教学发展体系建设”立项名单
2023年9月25日，教育部高等教育司公布了“高校教师教学组织和教学发展体系建设相关研究项目立项名单”，重点实验室陈向群教授牵头负责的“基于混合式教学的课堂结构设计方法研究”项目经计算机“101计划”专项类虚拟教研室学科协作组推荐后获批立项。该项...
2023-09-28
孙艳春副教授获得IEEE-CCF服务计算最佳应用论文奖
    重点实验室孙艳春副教授带领的智能服务研究小组近年面向智慧城市、智慧教育，对基于大数据的智能服务研究方向开展了深入研究，取得了系列研究成果。其中的一个研究成果，在服务计算领域的顶会IEEE ICWS（IEEE International Conference on Web Service...
2023-09-28
首页上页1...34567...73下页尾页

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