裘宗燕,北京大学数学学院信息科学系 通信地址: 100871,北京市,北京大学数学学院 EMAIL:qzy AT math . pku . edu . cn 主页:http://www.math.pku.edu.cn/eachers/qiuzy/ 兴趣:程序语义和验证,形式化方法和模型,程序语言,计算机科学教育 教学科研工作经历:
|
指导学生名单: | |
---|---|
指导博士后: | 杨红丽(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 |