1965年6月生，博士，武汉大学计算机学院教授，博士生导师。中国计算机学会杰出会员、中国计算机学会软件工程专业委员会常务委员、中国计算机学会形式化方法专业委员会委员。

1986年毕业于武汉大学计算机科学系并留校工作，1999年武汉大学研究生毕业并获博士学位。

1986年被聘为武汉大学软件工程国家重点实验室助教，1992年被聘为武汉大学软件工程国家重点实验室讲师，1996年被聘为武汉大学软件工程国家重点实验室副教授，2001年被聘为武汉大学软件工程国家重点实验室教授，2002年被聘为武汉大学软件工程国家重点实验室博士生导师。2000年入选国家教育部高等学校骨干教师资助计划。2003年获湖北省青年杰出人才基金资助。曾任武汉大学软件工程国家重点实验室副主任（2003年至2008年）、武汉大学软件工程国家重点实验室常务副主任（2008年至2017年）、武汉大学计算机学院副院长（2010年至2017年）。2019年11月起，任新葡的京集团35222vip人工智能学院院长。