程序设计语言研究室

研究方向


程序设计语言研究室下设于软件工程研究所软件研究所,致力于程序设计语言的原理、设计、实现及其支撑环境的研究,主要研究方向包括:程序设计语言的设计与实现,函数式语言,程序代数与程序演算,程序分析与验证,程序自动修复,程序变换与自动综合,并行程序设计等。


研究人员


姓名

职称/称号

邮件

胡振江

讲席教授, 室主任

huzj AT pku.edu.cn

熊英飞

长聘副教授

xiongyf AT pku.edu.cn

陈泓婕
副教授
chen.hj AT pku.edu.cn