毋國慶

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

基本介紹

• 中文名：毋國慶
• 國籍：中國
• 民族：漢族
• 出生地：中國

個人經歷

男，1954年10月生，教授，博士生導師，計算機科學系主任。主要從事計算機軟體與理論專業，曾擔任武漢大學軟體工程國家重點實驗室副主任。曾先後在日本科學技術研究所和日本東京大學從事研修與合作研究工作，以及赴日本和加拿大參加軟體工程國際會議。現為全國理論計算機專業委員會委員，全國軟體工程專業委員會委員，武漢大學發展規劃諮詢委員會委員。

科研方向

需求工程，軟體理論與形式化方法，軟體工程和人工智慧。

主要著作

編著書2本

科研成果

現已發表論文60多篇，其中在國外期刊和國際期刊學術會議上發表論文7篇在國內重要專業期刊《J. of Computer Science and Technology》，《計算機學報》，《軟體學報》和《計算機研究與方向》上發表論文十餘篇，並有多篇論文被EI等收錄。 科研工作：曾參加國家巨型機“銀河－1”作業系統的研製工作，本人獲國防科工委個人三等獎。參加與主持國家“六五”，“七五”攻關項目3項，承擔並完成國家自然科學基金，教育部博士點基金，教育部重點項目，教育部骨幹青年教師基金等項目負責與主持國外委託開發項目2項，以及其它軟體開發項目8個。