作者簡介

John V.Guttag

1999年~2004年MIT電氣工程與計算機科學系主任，所授計算機科學系列導論課程深受學生歡迎。目前為計算機科學與人工智能實驗室網絡及移動系統組聯合負責人，還進行軟件工程、機器定理證明、硬件驗證等領域的研究以及培訓工作。獲美國布朗大學英語專業學士學位、應用數學碩士學們，多倫多大學計算機科學博士學位。