裘宗燕（Qiu Zongyan）
北京大学数学学院信息科学系教授（退休）
专业兴趣：程序理论，软件形式化方法，程序设计语言，计算机语言的语义模型，计算机科学教育
主要著作和译著
2000年以来讲授过的课程
科研工作
近期科研技术报告
链接：
北京大学
北京大学数学学院
数学学院信息科学系
北京大学图书馆
EMAIL：
qzy@math.pku.edu.cn
通讯地址：100871，北京大学数学学院信息科学系
访问计数（2005.10开始）：
175721
最后修改：2019-09-11
