近年教学工作
2007年春季课程：
程序设计语言原理（研究生课）
2006年秋季课程：
数据结构（北大主干基础课，全院本科必修）
2006年春季课程：
软件形式化方法（研究生课）
2005年秋季课程：
数据结构
2005年春季课程：
程序设计语言原理（研究生课）
计算概论（北大理科本科生主干基础课）的
课程主页
，
内容简介
，
教科书：
《从问题到程序——程序设计与C语言引论》（2004修订版PDF文件）下载
2005修订版已由机械工业出版社出版（2005.9）
95年至今在数学学院讲授课程：
数据结构（算法和数据结构）（北京大学理科本科生主干基础课，理科试验班必修课）
计算概论（北京大学理科本科生主干基础课）
程序设计技术与方法（本科生课）
数理逻辑（本科生课）
程序设计语言原理（研究生课）
算法设计与分析（研究生课）
95年前在北大计算机系、电教中心、数学系讲授课程（本/研课，全校选修课）：
理论计算机科学基础
程序设计语言基础
算法和数据结构
人工智能
计算机基础和算法语言
Mathematica 系统和应用
... ...
2006.12