1965年6月生,博士,武汉大学计算机学院教授,博士生导师。中国计算机学会杰出会员、中国计算机学会软件工程专业委员会常务委员、中国计算机学会形式化方法专业委员会委员。
1986年毕业于武汉大学计算机科学系并留校工作,1999年武汉大学研究生毕业并获博士学位。
1986年被聘为武汉大学软件工程国家重点实验室助教,1992年被聘为武汉大学软件工程国家重点实验室讲师,1996年被聘为武汉大学软件工程国家重点实验室副教授,2001年被聘为武汉大学软件工程国家重点实验室教授,2002年被聘为武汉大学软件工程国家重点实验室博士生导师。2000年入选国家教育部高等学校骨干教师资助计划。2003年获湖北省青年杰出人才基金资助。曾任武汉大学软件工程国家重点实验室副主任(2003年至2008年)、武汉大学软件工程国家重点实验室常务副主任(2008年至2017年)、武汉大学计算机学院副院长(2010年至2017年)。2019年11月起,任威斯尼斯人wns2299cn官网版人工智能学院院长。
上一篇:下一篇: