人物經歷
1956年結業於江蘇師範學院數學系。
1993年7月至1994年7月在美國加州大學Berkeley分校任高級訪問學者。
曾擔任中國高等學校計算機教育研究會副理事長,中國離散數學學會副理事長,理論計算機科學叢刊總編輯,上海交通大學計算機系教授。
1988年任中央電大離散數學課程主講教師。
主要貢獻
長期從事高等教育與科研工作,編著有《離散數學》(上海科技文獻出版社1982年出版,連續重版61次)、《離散數學——理論、分析、題解》(上海科技文獻出版社1988年)、《計算機軟體基礎》(電子工業出版社1992年版)等。
譯著有《組合理論的基本方法》(北京大學出版社1989年);《邏輯設計的問題和能》(上海科技文獻出版社1986年)等。
科研成果有“七五”國家重點項目《知識處理程式系統》(KPPS);上海市科技重點項目:《計算機智慧型理論》(1989年由上海市科委主持鑑定)。
獲獎記錄
獲全國優秀圖書二等獎,獲國家教委科技成果二等獎。