人物介绍

成果

目前主要研究方向

人物介绍

博士生导师，现任中国科学技术大学信息科学实验中心主任。1945年7月生于山东聊城。1969年毕业于电子科技大学。1983年12月至1985年12月作为访问学者在日本东京大学进修。1976年至今在中国科学技术大学执教。安徽省计算机用户协会常务理事。

成果

出版著作《并行处理系统结构》。该书获校优秀教材二等奖。主讲本科生《并行处理系统结构》、《网络协议技术》和研究生《软件工程》等课程。指导研究生10余人。

在国内外知名杂志上发表文章40余篇。主持和参与863项目五项：《路由协议测试》、《使用构造类别代数规范进行通信协议一致性测试》、《协议测试理论和方法的研究》、《IPV6协议测试的研究》、《软交换系统测试》。主持国家自然科学基金重大研究计划《形式化的协议理论》。曾获国家教委一等奖和中科院二等奖各一项。并主持和参与省部级多项科研和开发项目。

目前主要研究方向

通信与信息系统、计算机体系结构、通信协议工程、形式化验证理论与模型等。正在承担国家自然科学基金重大研究计划、国家863等多项科研项目。