男，1947年8月出生，中国科学技术大学计算机系教授，博士生导师。1969年毕业于成都电讯工程学院。现任计算机系软件研究中心副主任，中国通信学会通信软件技术委员会副主任委员，中国计算机学会软件工程专业委员会委员，程控交换技术与通信网国家重点实验室学术委员会委员，《计算机信息与技术》杂志编委，CEC'04 EAST ( IEEE International Conference on e-Commerce Technology for Dynamic E-Business) Program Committee Member，IPOM 2004（2004 IEEE International Workshop on IP Operations & Management）Program Committee Member，全国通信软件第一届(2003)、第二届(2004)学术会议程序委员会委员，全国软件与应用第一(2002)、二(2003)、三届(2004)学术会议（NASAC）程序委员会委员。

　　男，1947年8月出生，中国科学技术大学计算机系教授，博士生导师。1969年毕业于成都电讯工程学院。现任计算机系软件研究中心副主任，中国通信学会通信软件技术委员会副主任委员，中国计算机学会软件工程专业委员会委员，程控交换技术与通信网国家重点实验室学术委员会委员，《计算机信息与技术》杂志编委，CEC'04 EAST ( IEEE International Conference on e-Commerce Technology for Dynamic E-Business) Program Committee Member，IPOM 2004（2004 IEEE International Workshop on IP Operations & Management）Program Committee Member，全国通信软件第一届(2003)、第二届(2004)学术会议程序委员会委员，全国软件与应用第一(2002)、二(2003)、三届(2004)学术会议（NASAC）程序委员会委员。

　　2002年以来发表的论文:

　　[1] 基于层次结构的OSPF一致性测试，通信学报，Vol.23,No.8,2002,
　　pp87-92.
　　[2] 基于同步有向图的同步序列的生成，计算机学报, Vol.25,No.6,
　　2002.6，pp632―636.
　　[3] 一种基于CSP的协议模型技术，小型微型计算机系统, Vol.25, No.5，2004。
　　[4] 基于构造类别代数的变异分析，电子学报，Vol.30,No.12A, 2002, pp249-251.
　　[5] 利用半可控接口进行通信协议一致性测试，通信学报，Vol.24，No.8，2003，pp72.
　　[6] Fault Identification by Passive Testing, IEEE 11th International Conference on Telecommunications (ICT2004)。
　　[7]基于数理统计方法的可靠性分析，中国科学技术大学学报，Vol.34，No.2，2004。
　　[8]通信顺序进程的扩充及其在协议形式化技术中的应用，通信学报,Vol.25，No.2，2004。
　　[9] 基于构造类别代数的数据流和控制流相结合的协议测试，北京邮电大学学报，Vol.24增刊，2003，pp7-11，EI检索（04188147178）。
　　[10] 基于Tcl的路由协议一致性测试，北京邮电大学学报，Vol.24增刊，2003，pp37-41，EI检索（04188147183）。

　　2002年以来发表的论文:

　　[1] 基于层次结构的OSPF一致性测试，通信学报，Vol.23,No.8,2002,
　　pp87-92.
　　[2] 基于同步有向图的同步序列的生成，计算机学报, Vol.25,No.6,
　　2002.6，pp632―636.
　　[3] 一种基于CSP的协议模型技术，小型微型计算机系统, Vol.25, No.5，2004。
　　[4] 基于构造类别代数的变异分析，电子学报，Vol.30,No.12A, 2002, pp249-251.
　　[5] 利用半可控接口进行通信协议一致性测试，通信学报，Vol.24，No.8，2003，pp72.
　　[6] Fault Identification by Passive Testing, IEEE 11th International Conference on Telecommunications (ICT2004)。
　　[7]基于数理统计方法的可靠性分析，中国科学技术大学学报，Vol.34，No.2，2004。
　　[8]通信顺序进程的扩充及其在协议形式化技术中的应用，通信学报,Vol.25，No.2，2004。
　　[9] 基于构造类别代数的数据流和控制流相结合的协议测试，北京邮电大学学报，Vol.24增刊，2003，pp7-11，EI检索（04188147178）。
　　[10] 基于Tcl的路由协议一致性测试，北京邮电大学学报，Vol.24增刊，2003，pp37-41，EI检索（04188147183）。

　　正在进行的科研项目：

　　（1） 主持国家自然科学基金重大研究计划项目：形式化的协议理论，项目编号：90104010，起止年月：2002年―2004年，正在进行中。
　　（2） 主持国家973计划项目子课题：新一代互联网体系结构理论研究子课题：新一代互联网的协议理论和技术的研究；起止年月：2004年―2008年。
　　（3） 主持国家863计划项目：IPv6协议测试技术，项目编号： 2001AA121016，起止年月：2002年―2004...

　　正在进行的科研项目：

　　（1） 主持国家自然科学基金重大研究计划项目：形式化的协议理论，项目编号：90104010，起止年月：2002年―2004年，正在进行中。
　　（2） 主持国家973计划项目子课题：新一代互联网体系结构理论研究子课题：新一代互联网的协议理论和技术的研究；起止年月：2004年―2008年。
　　（3） 主持国家863计划项目：IPv6协议测试技术，项目编号： 2001AA121016，起止年月：2002年―2004年，正在进行中。
　　（4）主持中国科学院院长基金特别支持项目：形式化的协议理论的研究，项目编号：院基计字905号，起止年月：2002年―2004年，正在进行中。
　　（5）主持华为公司基金项目：协议编解码器硬件优化技术的研究；起止年月：2003年―2004年，正在进行中。
　　（6）参加国家自然科学基金项目：协议验证理论与方法的研究，项目编号：60241004，起止年月：2002年11月―2005年12月，正在进行中。
　　（5）主持中国科学院计算机科学实验室基础研究课题: 协议验证理论与方法的研究；起止年月：2004年―2005年。

　　近年来完成的主要科研项目：

　　（1） 主持完成863计划跨主题项目--中国高速信息示范网关键技术项目：路由协议测试，项目编号：863-300-02-08-99，起止年月：1999年―2000年， 2000年12月6日通过863专家组的验收。
　　（2） 主持完成863-317主题组长基金课题项目：使用构造类别代数规范进行通信协议一致性测试，项目编号：863-317-04-16-99，起止年月：1999年―2000年，2001年2月21日通过863专家组的验收。
　　（3）主持国家863计划项目：协议测试理论与方法的研究，项目编号： 2001AA112062，起止年月：2001年―2003年，已结题。
　　（4）主持安徽省自然科学基金项目：基于构造类别代数的通信软件测试技术的研究，项目编号： 01042208，起止年月：2002年―2003年，评审为优。
　　（5）主持教育部博士点基金项目：通信软件测试理论与方法的研究，项目编号：2000035802，起止年月：2001年―2003年，已结题。
　　（6）主持完成华为公司项目：九项，都已通过华为公司的验收。
　　（7）主持安徽省国际科技合作项目：通信软件测试系统，项目编号：99825004，本项目的目标是就“通信软件测试系统”进行国际合作与交流；起止年月：1999年―2001年，与美国、日本等国的相关大学建立了国际科技合作关系。
　　（8） 主持中兴公司项目：信息安全中的网络扫描技术 ；起止年月：2002年8月―2002年12月，已通过公司的验收。