1951年7月，考入 東北工學院建筑工程系，后又轉入數學系學習。52年院系調整，調入東北人民大學（現 吉林大學）學習。1955年9月畢業(yè)后，任數學系兼哲學系助教。在數學系副主任、著名數學家 徐利治指導下師生合作發(fā)表了“超窮過程論中的兩個基本原理與Hegel的消極無限批判”等一系列重要數學論文。正當他躊躇滿志、施展才華之時，厄運接踵而至。在57年的“反右”中，打成“極右分子”，年僅23歲的他帶著滿腹的不平和傷感，扛著120公斤的書籍回到宜興老家，自謀生路。從此步入了長達21年的人生悲劇。在文革中，在沒有任何證據的情況下，以“叛國罪”的罪名投進監(jiān)獄十年之久。在沒有人身自由的困境中，絲毫沒有喪失生活的勇氣和進取的決心，他仍在對數學事業(yè)至死不渝地執(zhí)著追求，他的坎坷道路是中國知識分子一代精英共同命運的縮影。

1979年1月，經省長簽字批準，他被重新錄用于 南京大學數學系任教。1989年調到 南京航空航天大學，現任計算機科學研究所所長、教授、博士生導師，長期致力于數學基礎與計算機科學理論的研究。他與另一位教授共同創(chuàng)建并發(fā)展的“中介數學系統(tǒng)”被譽為“國際首創(chuàng)的系統(tǒng)性工作”。他發(fā)表論文140多篇、5部著作、2部專著和1部譯著，培養(yǎng)博士生5名，碩士生11名。主持國家自然科學基金，“863”國家高技術項的研究課題9項。他的名字和事跡被列入《國際知識界名人錄》、《國際上卓越的學術領導人辭典》成為一名國際學術界敬重的名人。