武汉大学计算机学院教授

科研成果

武汉大学计算机学院教授

男，1954 年10月出生。

简介

男，1954年10月生，教授，博士生导师，计算机科学系主任。主要从事计算机软件与理论专业，曾担任武汉大学软件工程国家重点实验室副主任。曾先后在日本科学技术研究所和日本东京大学从事研修与合作研究工作，以及赴日本和加拿大参加软件工程国际会议。现为全国理论计算机专业委员会委员，全国软件工程专业委员会委员，武汉大学发展规划咨询委员会委员。

科研方向： 需求工程，软件理论与形式化方法，软件工程和人工智能。

主要著作： 编著书2本

科研成果

现已发表论文60多篇，其中在国外期刊和国际期刊学术会议上发表论文7篇在国内重要专业期刊《J. of Computer Science and Technology》，《计算机学报》，《软件学报》和《计算机研究与方向》上发表论文十余篇，并有多篇论文被EI等收录。 科研工作：曾参加国家巨型机“银河－1”操作系统的研制工作，本人获国防科工委个人三等奖。参加与主持国家“六五”，“七五”攻关项目3项，承担并完成国家自然科学基金，教育部博士点基金，教育部重点项目，教育部骨干青年教师基金等项目负责与主持国外委托开发项目2项，以及其它软件开发项目8个。