敢為人先  實事求是志存高遠  追求卓越
教授、博士生導師,國家教學名師,享受國務院政府特殊津貼,曾任武漢大學計算機學院院長。主要從事分布并行處理、可信軟件、軟件工程等的研究。主持和主要承擔包括863高技術計劃項目,國家自然科學基金重點項目、“可信軟件基礎研究”重大研究計劃項目、面上項目及省市科技攻關項目等40余項,發表論文200多篇,出版專著和教材16本。兼任國家教育部科技委信息學部委員,中國計算機學會常務理事,國家自然科學基金委、國家科學技術獎、教育部科學技術獎評審專家等。