新闻动态-高可信软件技术教育部重点实验室(北京大学)

关于

新闻动态

首页 >> 新闻动态

金鑫、刘譞哲老师团队多项成果入选国际操作系统设计与实现大会OSDI 2024

第18届国际操作系统设计与实现大会 OSDI（USENIX Symposium on Operating Systems Design and Implementation）公布本年度文章录用情况，重点实验室作为第一作者单位共有3篇论文被录用，均来自软件研究所金鑫、刘譞哲副教授团队。OSDI与另一会议SOSP （AC...

2024-07-24

.胡振江、崔斌教授出席北京大学与华为技术有限公司在北京签署合作协议活动

2024年6月22日，北京大学与华为技术有限公司在北京签署合作协议，“北京大学鲲鹏昇腾科教创新卓越中心”（以下简称“卓越中心”）正式成立揭牌。双方将围绕卓越中心着力推动科研平台建设，基于鲲鹏昇腾技术路线，在计算产业前沿课题研究、课程体系建设、...

2024-06-30

胡振江教授团队助力仓颉编程语言发展携手华为深耕国产基础软件研究

2024年6月21日，在华为开发者大会（HDC）上，华为发布了一款全新的编程语言—仓颉。仓颉编程语言是一款面向全场景智能的新一代编程语言，主打原生智能化、天生全场景、高性能、强安全。早在2019年，由北京大学计算机学院院长胡振江教授带领的北京大...

2024-06-28

工业物联泛在操作系统联合实验室揭牌仪式暨第一次技术研讨会

2024年6月14日下午，由杭州电子科技大学离散行业工业互联网浙江省重点实验室（以下简称工业互联网实验室）与北京大学高可信软件技术教育部重点实验室（以下简称高可信软件实验室）共建的工业物联泛在操作系统联合实验室揭牌仪式暨第一次技术研讨会在杭州电...

2024-06-21

重点实验室组队积极参加乒乓球联谊赛取得优异成绩

2024年5月5日，经过北京大学计算机学院赛事组委会精心筹备，第二届“PKUCS校友杯”乒乓球联谊赛在邱德拔体育馆圆满落幕。来自全国各地、涉足各行各业的40多名北大计算机学院（包括前计算机系）校友们齐聚燕园，共同挥洒汗水，以乒乓球运动为纽带，追忆青春...

2024-05-30

首页上页12345...73下页尾页