John V. Guttag1999年~2004年任MIT電氣工程與計算機(jī)科學(xué)系主任,所授計算機(jī)科學(xué)系列導(dǎo)論課程深受學(xué)生歡迎。目前為計算機(jī)科學(xué)與人工智能實驗室網(wǎng)絡(luò)及移動系統(tǒng)組聯(lián)合負(fù)責(zé)人,還進(jìn)行軟件工程、機(jī)器定理證明、硬件驗證等領(lǐng)域的研究以及培訓(xùn)工作。獲美國布朗大學(xué)英語專業(yè)學(xué)士學(xué)位、應(yīng)用數(shù)學(xué)碩士學(xué)位,多倫多大學(xué)計算機(jī)科學(xué)博士學(xué)位。