裘宗燕,北京大学数学学院信息科学系

办公室:北京大学理科一号楼1480

100871,北京市,北京大学数学学院

EMAIL:qzy AT math . pku . edu . cn

主页:http://www.math.pku.edu.cn/eachers/qiuzy/

兴趣:程序语义和验证,形式化方法和模型,程序语言,计算机科学教育

教学科研工作经历:

  • 1985-1988在北京大学计算机系任教
  • 1988-1995先后在北京大学计算机研究所、北京大学电教中心工作
  • 1995年起在北京大学数学学院任教

指导学生名单:
在读博士生:胡婷婷,张可,刘海洋
在读硕士生: 杨嘉琪
指导博士后: 杨红丽(2005-2007)
毕业博士生: 秦胜潮(与张乃孝老师合作指导, 2002),蒲戈光(2005),龙泉(2006),赵翔鹏(2008),王淑灵(2008),蔡超(2009),彭力扬(2010),刘译璟(2011),舒琴(2012),雷锦江(2014),洪阿丽(2014)
毕业硕士生: 郭海峰(1997),谢志勇(1999),姚宏(2000),夏笑峰(2002),林宗芳(2003),魏晋伟(2003),隗刚(2004),张欣(2004),吕海涛(2005),程羽心(2005),赵亮(2007),窦扬扬(2007),林常惠(2008),张鹏(2009),王盛颐(2010),李薇(2010),江涌(2012)
 
近年讲授课程:
程序设计语言原理,程序设计技术和方法,软件形式化方法,数据结构与算法,计算概论(C程序设计),用 Python 语言讲授的计算概论(程序设计)和数据结构课程,等等

2014.9