新闻动态
更多
- Mar 10 , 2026
Sergey团队在 ICSE'26 发表的论文获 ACM SIGSOFT 杰出论文奖
- Dec 11 , 2025
聚焦可信开发框架，共话双向计算未来 —— “双向计算及其应...
- Dec 09 , 2025
程序设计语言研究室本科生孔启皓荣获国家自然科学基金资助
- Dec 02 , 2025
程序设计语言研究室博士生 Dimitris Bouras 荣获国家自然科学...
- Nov 13 , 2025
程序设计语言实验室两篇论文被ICSE'26接收
- Oct 21 , 2025
王迪团队获 OOPSLA 2025 杰出论文奖
- Oct 21 , 2025
胡振江团队获 ICFP 2025 杰出论文奖
通知公告
更多- 17 Jun C* 开发与验证暑期学校
- 11 May 第二十三届北京大学程序设计语言讨论班
- 11 May 第二十二届北京大学程序设计语言讨论班
招聘信息
更多- 2020-09-21 北京大学程序设计语言研究室博士后招聘（长期有效）
