男，1947年8月出生，中国科学技术大学计算机系教授，博士生导师。1969年毕业于成都电讯工程学院。现任计算机系软件研究中心副主任，中国通信学会通信软件技术委员会副主任委员，中国计算机学会软件工程专业委员会委员，程控交换技术与通信网国家重点实验室学术委员会委员，《计算机信息与技术》杂志编委，CEC'04EAST(IEEEInternationalConferenceone-CommerceTechnologyforDynamicE-Business)ProgramCommitteeMember，IPOM2004（2004IEEEInternationalWorkshoponIPOperations&Management）ProgramCommitteeMember，全国通信软件第一届(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]FaultIdentificationbyPassiveTesting,IEEE11thInternationalConferenceonTelecommunications(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年，正在进行中。 （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月，已通过公司的验收。
