徐書潤

1963年8月畢業於中國科技大學套用數學系工程邏輯專業。 1982年調到南開大學數學系。 1991年去美國Purdue大學訪問一年。

1963年8月畢業於中國科技大學套用數學系工程邏輯專業。曾先後在中國科學院計算所、七機部七七一所工作。1982年調到南開大學數學系。從事數理邏輯、可計算理論、井行計算機體系結構、並行機器語言的研究。1988年和1990年曾兩次分赴巴黎和芝加哥參加國際學術會議。1991年去美國Purdue大學訪問一年。1992年晉升為教授。曾開設過《初等數淪》、《計算機科學概論》、《數理邏輯基礎》、《無窮邏輯》、《遞歸論》、《形式語言與自動機理論》、《集合論與連續統猜想》、《並行計算機》、《面向對象的並行系統》等課；曾從事過計算機科學、計算機硬體和軟體、計算複雜性和數論等方面的研究和實際工作。已發表論文多篇，主要代表作有《有窮自動機所計算的函式》、《多值遞歸函式》、《可移植的抽象機指令翻譯系統》、《計算與機器計算》、《關於計算模型的等價性》、《Petri網一類語言》、《二型表達式》、《關於忙海狸函式》等。《關於計算模型》、《關於有窮邏輯數學理論的Godel不完全性》等論文已被收入國際會議錄，並編著有《計算機、邏輯和集合論》一書。此外，合譯了《數理邏輯通俗講話》著作。