新闻动态

首页 >> 新闻动态
重点实验室4篇论文入选第20届计算机网络系统顶级会议NSDI（Symposium on Network S...
近日，计算机网络系统顶级会议NSDI 2023在美国波士顿举行。今年恰逢NSDI 召开20周年庆典，也是2020年以来首次全线下模式召开的计算机网络系统领域的国际盛会。北京大学计算机学院的老师和学子赴美参与此次盛会，报告各自方向的最新研究成果，与国际同行进...
2023-04-29
金芝教授受邀出席云南省金芝专家工作站揭牌仪式并作学术报告
  2023年4月23日10点，阳光明媚，春意盎然，云南省金芝专家工作站揭牌仪式在云南大学软件学院1230报告厅隆重举行，北京大学金芝教授，云南大学党委常委、副校长吴涧教授，云南电网有限责任公司电力科学研究院副所长杨莉高级工程师和尹春林工程师，云南大学...
2023-04-27
陈向群教授负责的“计算机系统导论”课程入选第二批国家级一流本科课程
2023年4月11日，教育部发布了“关于第二批国家级一流本科课程认定结果的公示”，计算机学院和信息科学技术学院共建的本科生课程“计算机系统导论”入选。“计算机系统导论”课程负责人为计算机学院的陈向群老师，课程团队主要成员有陆俊林、管雪涛、孙广宇...
2023-04-26
金鑫副教授荣获北京大学第22届青教赛（理工科类）奖项
2023年3月25日至26日，第22届北京大学青年教师教学基本功比赛（理工科类）在北京大学举行，全校共13个单位28名老师参加比赛，重点实验室金鑫副教授荣获北京大学第22届青教赛（理工科类）优秀奖。
2023-04-23
谢涛教授荣获ACM SIGSOFT有影响力教育工作者奖
    国际计算机学会 ACM (Association for Computing Machinery ) 是一个世界性的计算机从业人员专业组织，创立于1947年，是世界上第一个科学性及教育性计算机学会，全世界计算机领域影响力最大的专业学术组织。SIGSOFT是ACM旗下的软件工程学术机构，为来...
2023-04-11
首页上页1...678910...73下页尾页

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