姓 　名	郑  滔
	性 　别	男
	出生年月	1966.4
	最终学历	硕士研究生
	职 　称	教授
	电 　话	58646561
	学 　位	硕士
	传 　真	58646594
	所在院系	软件学院
	E-mail	zt@nju.edu.cn
	通信地址	南京市汉口路22号（210093）
	研究方向	软件工程

※<教学情况>

一、近五年讲授的主要课程

　　1、C++程序设计
　　专业基础课，每周3学时，每学年1届，近5年累计550人；面向软件学院、计算机科学与技术系本科学生；
　　2、编译技术
　　专业课，每周3学时，每学年1届，开设3年累计290人；面向软件学院本科学生讲授；
　　3、Windows高级编程
　　专业课，每周3学时，每学年1届，开设3年累计300人；面向软件学院本科生。

二、近五年承担的实践性教学

　　1、程序设计实践：2年累计350人；
　　2、指导本科毕业设计/论文：5年累计46人；
　　3、指导硕士研究生：5年累计10人；
　　4、指导硕士毕业论文：5年累计8篇；
　　5、指导工程硕士毕业论文：5年累计18篇。

三、近五年作为第一署名人在国内外主要刊物上发表的教学相关论文

　　程序设计教程：用C++ 语言编程，机械工业出版社，2004，陈家骏，郑滔。

四、获得的教学表彰/奖励

　　软件工程专业工程化实践教学体系的构建与实施，2005国家级教学成果二等奖，2004江苏省高等教育省级教学成果奖一等奖，2004南京大学教学成果特等奖；骆斌、赵志宏、邵栋、郑滔、陈道蓄。

※<学术研究>
一、近五年来承担的学术研究课题

　　1、数字电路测试台软件开发，十四所，2001～2003，主持；
　　2、电子式单相和三相复费率电度表产品，溧阳电子仪表有限公司，2001～2002，主持；
　　3、UML模型分析技术和支撑工具的研究(6027036)，国家自然科学基金，2003.1～2005.12，参加；
　　4、实时系统的软件可靠性测试与验证(602339291) ，国家自然科学基金，2003.1～2006.12，参加。

二、近五年在国内外主要刊物上以第1署名人发表的学术论文

　　１、持久对象在人机界面开发中的应用，南京大学学报(自然科学)，第36卷，第5期，2000，杨剑，陈家骏，郑滔；
　　2、一种面向对象程序的分层切片方法，软件学报，Vol.18，No.12 (EI)，2001，李必信，刘小东，郑滔，李宣东，郑国梁；
　　3、Li Xuandong, Pei Yu, Zhao Jianhua, Li Yong, Zheng Tao, Zheng Guoliang. Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. In Tiziana Margaria, Tom Melham (Eds.),Correct Hardware Design and Verification Methods, Lecture Notes in Computer Science 2144, Springer,2001, pp.465-479.
　　4、Li Xuandong，Zhao Jianhua，Pei Yu，Li Yong，Zheng Tao and Zheng Guoliang. Positive Loop-ClosedAutomata: A Decidable Class of Hybrid Systems. In Journal of Logic and Algebraic Programming , Vol.52-53(C), Elsevier Science, 2002, pp.79-108 . (SCI, EI)
　　5、Zhao Jianhua, Xu He, Li Xuandong, Zheng Tao, Zheng Guoliang. Partial Order Path Technique for Checking Parallel Timed Automata. In Lecture Notes in Computer Science 2469, Springer, 2002.

三、获得的学术研究表彰/奖励

　　软件工程中的形式化方法和面向对象技术研究，教育部自然科学奖2等，2003，第三完成人。