现任安徽师大数学系教授、硕士生导师。1952年至1954年在安徽大学数学科学习，1957—1960年在南京大学数学天文系攻读数学与整理逻辑。