| 裘宗燕，北京大学数学学院信息科学系教授 |  |
| 专业兴趣领域：程序理论，软件形式化方法，程序设计语言，新型语言的语义模型，计算机科学教育 |
教学与科研
教学工作- 2009年春季课程：程序设计语言原理（研究生课）。
- 2008年秋季课程：程序设计技术与方法（面向数学学院和信息学院三年级本科生）
采用MIT的著名教科书Structure and Interpretation of Computer Programs。这里是课程简介。 - 以前课程：数据结构（北大主干基础课，全院本科必修）。
- 以前课程：软件形式化方法（研究生课）。
- 以前课程：计算概论，教科书：《从问题到程序——程序设计与C语言引论》（2004修订版）下载。
链接：
| 北京大学 | 北京大学数学学院 | 数学学院信息科学系 | 北京大学图书馆 |