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

通信地址:

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

EMAIL:qzy AT math . pku . edu . cn

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

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

教学科研工作经历:

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

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

2017.9