毋國慶

毋國慶，男，1954年10月出生，畢業於武漢大學計算機科學系，現武漢大學計算機學院教授、博士生導師。主要從事軟件開發方法和工具，形式化理論和方法，需求工程，軟件工程，可信軟件的開發方法和理論等方面的研究。多年來，除承擔本科和研究生教學工作外，在科研方面曾參加國家“銀河—I”巨型計算機操作系統的研製工作。先後主持和負責國家自然科學基金項目、國家高技術研究發展計劃（863計劃）項目、國家“六.五”攻關項目、“七.五”攻關項目、教育部重點項目、博士學科點專項科研基金項目、國家教育部骨幹教師資助計劃項目等多項國家和省部委項目，以及一些其它軟件開發項目等。多次在日本東京大學等從事軟件工程和形式化理論方面的合作研究，已在國內外學術期刊和國際學術會議上發表論文和研究報告多篇。 ^[1]