北京大学程序设计语言研究室简介
程序设计语言研究室隶属北京大学计算机科学技术系软件研究所和北京大学软件工程研究所，是高可信软件技术教育部重点实验室的组成部分。研究室成立于2019年4月，由胡振江教授任主任，成员包括一名正教授，两名副教授，两名助理教授，两名教辅行政和多名科研人员。
研究室从事程序设计语言相关的教学和科研工作，在函数式程序设计语言、双向变换、程序演算、领域特定语言、程序分析、程序综合、程序修复、神经网络分析等领域已取得一系列研究成果，成果在学术界产生了广泛影响，被应用多个企业和开源软件。研究室成员也当选为欧洲科学院外籍院士、日本工程院院士和IEEE Fellow，获得了自然科学基金海外杰出青年基金、自然科学基金优秀青年基金等项目的资助，并获得ACM SIGPLAN/SIGSOFT Distinguished Paper Award等多项学术界荣誉。
延伸阅读：
