教授、博士生导师，国家教学名师，享受国务院政府特殊津贴，曾任武汉大学计算机学院院长。主要从事分布并行处理、可信软件、软件工程等的研究。主持和主要承担包括863高技术计划项目，国家自然科学基金重点项目、“可信软件基础研究”重大研究计划项目、面上项目及省市科技攻关项目等40余项，发表论文200多篇，出版专著和教材16本。兼任国家教育部科技委信息学部委员，中国计算机学会常务理事，国家自然科学基金委、国家科学技术奖、教育部科学技术奖评审专家等。