1980.09--1985.07  武汉大学数学系，本科

1985.07--1988.07  武汉大学计算机系，硕士研究生

1988.09--1981.07  武汉大学数学系，博士研究生

1991.07--现在  武汉大学计算机学院，教师

主要讲述课程：

本科生：离散数学，图论，编译原理

研究生：形式语言与自动机理论，可计算性理论。