毋国庆

毋国庆，武汉大学会议副主席。毕业于武汉大学计算机科学系，现武汉大学计算机学院教授、博士生导师。主要从事软件开发方法和工具，形式化理论和方法，需求工程，软件工程，可信软件的开发方法和理论等方面的研究。多年来，除承担本科和研究生教学工作外，在科研方面曾参加国家“银河—I”巨型计算机操作系统的研制工作。先后主持和负责国家自然科学基金项目、国家高技术研究发展计划（863计划）项目、国家“六.五”攻关项目、“七.五”攻关项目、教育部重点项目、博士学科点专项科研基金项目、国家教育部骨干教师资助计划项目等多项国家和省部委项目，以及一些其它软件开发项目等。多次在日本东京大学等从事软件工程和形式化理论方面的合作研究，已在国内外学术期刊和国际学术会议上发表论文和研究报告多篇。