簡介
1957年江蘇省常州高級中學畢業，考入南京工學院（現東南大學），1962年從自動控制系計算機專業畢業後留校任教至今。六七十年代主講數字肪沖電路，電子數字計算機原理、程式設計等。並參加實驗室建設，設計研製多用途磁芯測試台，所撰論文發表在首次全國性計算機學術會議上（時稱633會議）。在學校重點項目六五型數字積分機研製中，負責電路設計。
貢獻
從1969年起，歷時三年研製用於國防的電子數字航跡儀，負責總體、邏輯及電路設計，是該項目的主要設計人和負責人。1978年該項目獲全國科學大會獎。隨後進行國產160通用數字計算機的硬體修改及軟體設計，編寫並研製出管理程式（即作業系統的初級級形式），為該機的光電輸入機、磁帶機、穿孔機、電傳輸出設計驅動程式，為學生學習計算機、使用計算機創造良好條件。八九十年代向套用軟體理論基礎及計算機科學領域方面拓展，具體進行計算機科學理論、人工智慧理論、資料庫原理及設計技術教學研究工作，教計算機主課《離散數學》，為本科生、研究生、博士生開設《專業英語》、《人工智慧》、《知識庫引論》、《資料庫原理》、《局部網原理》、《計算機科學基礎理論》等課程。1985年被派往美國Syracuse大學進修函式式語言1年。1991年任東南大學強化班（少年班）離散數學主講，在計算機系博士生必修《計算機科學基礎理論》課中，講授模型論、範疇論、入演算與組合邏輯、不動點理論、非標準邏輯（模態、多值邏輯）等。多次獲學校教學一、三等獎。所著《人工智慧》一書，被許多高校作為教材。另外還編寫《LISP語言》、《知識庫引論》、《人工智慧問題求解》、《數據結構初步》等多本書稿講義。科研方面，1989年~1992年研製中小城市巨觀經濟資料庫與經濟預測系統，任項目負責人兼主要設計者，1993年分獲南京市科技成果獎和套用成果獎。1991年~1993年研製完成國家自然科學基金項目基於入演算、組合邏輯和圖歸約技術的函式式語言系統；1992年~1995年負責貴州險峰工具機廠機械設計CAD系統總體設計。
常州名人錄（上）
| “天下名士有部落，東南無與常匹儔。”常州自古以來就是詩書禮儀之鄉、鍾靈毓秀之地。自從2500年前延陵季子（吳公子季札）在常州開邑以來，常州這塊土地就以物產豐富、經濟發達、文化興盛、人才輩出而著稱，有大批的思想家、政治家、文學家、藝術家、史學家、科學家從常州走向全國，走向世界。 |
