程序设计语言研究室

研究方向


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


研究室主页:http://pl.cs.pku.edu.cn/


研究人员