1935年11月生，江苏省宜兴市宜城人，1951届江苏省宜兴中学高中校友。

人物经历

1951年7月，考入东北地区工学院建筑工程系，后又转入数学系学习。

52年院系调整，调入吉林大学（现吉林大学）学习。

1955年9月毕业后，任数学系兼哲学系助教。

正当他踌躇满志、施展才华之时，厄运接踵而至。在57年的“反右”中，打成“极右分子”，年仅23岁的他带着满腹的不平和伤感，扛着120公斤的书籍回到宜兴市老家，自谋生路。从此步入了长达21年的人生悲剧。在文革中，在没有任何证据的情况下，以“叛国罪”的罪名投进监狱十年之久。在没有人身自由的困境中，丝毫没有丧失生活的勇气和进取的决心，他仍在对数学事业至死不渝地执着追求，他的坎坷道路是中原地区知识分子一代精英共同命运的缩影。

1979年1月，经省长签字批准，他被重新录用于南京大学数学系任教。

1989年调到南京航空航天大学，现任计算机科学研究所所长、教授、博士生导师。

研究方向

长期致力于数学基础与计算机科学理论的研究。

主要贡献

在数学系副主任、著名数学家徐利治指导下师生合作发表了“超穷过程论中的两个基本原理与Hegel的消极无限批判”等一系列重要数学论文。他与另一位教授共同创建并发展的“中介数学系统”被誉为“国际首创的系统性工作”。他发表论文140多篇、5部著作、2部专著和1部译著，培养博士生5名，硕士生11名。主持国家自然科学基金，“863”国家高技术项的研究课题9项。他的名字和事迹被列入《国际知识界名人录》、《国际上卓越的学术领导人辞典》成为一名国际学术界敬重的名人。