计算机科学家、数学家，主要从事机器证明、教育数学、距离几何及动力系统研究。1936年12月30日生于河南汝南县。1959年毕业于北京大学数学力学系。1995年当选为中国科学院院士。