人物經歷
1951年7月，考入東北工學院建築工程系，後又轉入數學系學習。
52年院系調整，調入東北人民大學（現吉林大學）學習。
1955年9月畢業後，任數學系兼哲學系助教。
正當他躊躇滿志、施展才華之時，厄運接踵而至。在57年的“反右”中，打成“極右分子”，年僅23歲的他帶著滿腹的不平和傷感，扛著120公斤的書籍回到宜興老家，自謀生路。從此步入了長達21年的人生悲劇。在文革中，在沒有任何證據的情況下，以“叛國罪”的罪名投進監獄十年之久。在沒有人身自由的困境中，絲毫沒有喪失生活的勇氣和進取的決心，他仍在對數學事業至死不渝地執著追求，他的坎坷道路是中國知識分子一代精英共同命運的縮影。
1979年1月，經省長簽字批准，他被重新錄用於南京大學數學系任教。
1989年調到南京航空航天大學，現任計算機科學研究所所長、教授、博士生導師。
研究方向
長期致力於數學基礎與計算機科學理論的研究。
主要貢獻
在數學系副主任、著名數學家徐利治指導下師生合作發表了“超窮過程論中的兩個基本原理與Hegel的消極無限批判”等一系列重要數學論文。他與另一位教授共同創建並發展的“中介數學系統”被譽為“國際首創的系統性工作”。他發表論文140多篇、5部著作、2部專著和1部譯著，培養博士生5名，碩士生11名。主持國家自然科學基金，“863”國家高技術項的研究課題9項。他的名字和事跡被列入《國際知識界名人錄》、《國際上卓越的學術領導人辭典》成為一名國際學術界敬重的名人。
