新闻动态 更多 聚焦可信开发框架，共话双向计算未来 —— “双向计算及其应... 由国家自然科学基金项目“基于双向计算的泛在信息系统可信开发理论与框架”部分资... 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 杰出论文奖 Oct 13 , 2025 程序设计语言实验室两篇论文被ASE'25接收 Oct 13 , 2025 程序设计语言实验室一篇论文被ICFP'25接收 通知公告 更多 07 Nov Workshop on Bidirectional Computation and Its Application 27 Oct 第二十一届北京大学程序设计语言讨论班 20 Oct 第二十届北京大学程序设计语言讨论班 招聘信息 更多 2020-09-21 北京大学程序设计语言研究室博士后招聘（长期有效）
