1964年生，男，回族，95年获南京大学博士学位，博士后，教授, 博士生导师。 1980-1984，湖南师范大学，本科生。
* 1984-1987，湖南大学，硕士研究生，获学位。
* 1987-1991，湖南师范大学，任助教，讲师。
* 1992-1995，南京大学，博士研究生，方向：数理逻辑及其计算机中的应用。 导师：莫绍揆，丁德成，获博士学位。
* 1995-1996，国防科技大学，博士后，指导教授：陈火旺院士。
* 1996-1999，汕头大学科学院，副教授。
* 1999至今，中山大学副教授、教授、博士生导师。
* 2000.8-2000.11, 澳大利亚Deakin大学数学与计算科学系，访问学者。
* 2000.12-2001.8, 香港城市大学信息系统系，副研究员。
* 2001.8-2002.8, 澳大利亚New South Wales大学计算机科学与工程系，研究员。