| 裘宗燕，北京大学数学学院信息科学系教授 |  |
| 专业兴趣领域：程序理论，软件形式化方法，程序设计语言，计算机语言的语义模型，计算机科学教育 |
教学与科研
教学工作- 2012年春季课程：程序设计语言原理（研究生课，情况见课程主页）
欢迎数学学院/信息学院同学选课，欢迎本科生选修
- 2011年秋季课程：程序设计技术与方法（面向数学学院和信息学院三年级本科生）
采用MIT的著名教科书Structure and Interpretation of Computer Programs。这里是课程简介
- 2010年秋季课程：程序设计技术与方法
- 2010年秋季课程：算法与数据结构---基于Maple的课程。课程材料在北大教学网，包括幻灯片等
- 2010年春季课程：形式化方法 --- 基于 B 方法的软件开发（研究生课）
- 2010年春季课程：低年级讨论班（软件）
- 2009年秋季课程：程序设计技术与方法
- 2009年春季课程：程序设计语言原理（研究生课）
- 以前课程：数据结构（北大主干基础课，全院本科必修）
- 以前课程：软件形式化方法（2005年研究生课，讨论Z规范语言）
- 以前课程：计算概论，教科书：《从问题到程序——程序设计与C语言引论》（2004修订版）下载
链接：
| 北京大学 | 北京大学数学学院 | 数学学院信息科学系 | 北京大学图书馆 |