1984年7月毕业于原扬州师范学院数学系获理学学士学位，1991年7月获原扬州师范学院理学硕士学位，1995年8月获中国科学院软件研究所博士学位。担任过《元数学》、《离散数学》、《微机原理》、《Pascal语言》、《算法设计与分析》、《高等数学》等十多门研究生和本科生专业基础课程的教学。承担过多项国家、省、校、院级科研项目。2000年获扬州市自然科学优秀论文一等奖，江苏省教学成果一等奖。主要从事计算理论的研究，先后在《中国科学》、《The journal of symbolic logic》、《科学通报》、《软件学报》、《计算机科学》、《计算机科学技术学报》、《扬州大学学报》等刊物上发表论文三十多篇，在该研究领域处于国际领先。