作者简介 · · · · · ·

作者简介：

John V. Guttag

1999年至2004年任麻省理工学院电气工程与计算机科学系主任（此前担任了5年的副主任）。Guttag教授目前是计算机科学与人工智能实验室网络及移动系统组的联合负责人。此外,他还进行软件工程、机器定理证明、硬件验证等领域的研究以及培训工作,并出版过相关主题的图书。Guttag教授获得美国布朗大学英语专业学士学位、应用数学硕士学位,获得多伦多大学计算机科学博士学位。

译者简介：

梁杰

北京航空航天大学计算机科学与技术专业大四学生。热爱开源、JavaScript、Python,喜欢做各种各样有趣的事情。