1 生平与教育
1.1 早年与求学经历
杰拉德·杰伊·萨斯曼于1947年2月8日出生在美国。自幼对数学与科学表现出浓厚兴趣，少年时期便通过自学接触电子学与编程。他进入麻省理工学院（MIT）攻读本科学位，并于1968年获得理学学士学位。随后，他在MIT继续深造，于1973年获得电子工程与计算机科学博士学位。攻读博士学位期间，他师从人工智能先驱马文·明斯基（Marvin Minsky），其博士论文课题围绕人工智能中的符号计算与自动推理展开。
1.2 加入MIT与学术生涯
博士毕业后，萨斯曼随即加入MIT电子工程与计算机科学系，成为一名教职人员。他很快以其独特的教学理念和对计算本质的深刻洞察脱颖而出。1970年代末至1980年代初，他与同事哈尔·阿贝尔森共同主导了MIT的6.001课程（计算机程序的结构与解释），并在此基础上开发了Scheme语言的教学应用。此后数十年，他历任教授、系主任等职，并于2020年代初正式退休，但至今仍以教授荣休的身份参与学术活动。
2 主要学术贡献
2.1 Scheme语言与Lisp的演化
萨斯曼与盖伊·斯蒂尔（Guy Steele）是Lisp方言Scheme的共同设计者。Scheme语言诞生于1975年，旨在简化Lisp的词法作用域与高阶函数机制，同时引入极简主义语法。相较于当时主流的Lisp方言（如MacLisp、Interlisp），Scheme强调纯词法作用域与尾递归优化，为函数式编程范式的普及奠定了基础。
2.1.1 Scheme的设计哲学
Scheme的设计遵循“以最少的结构支持最丰富的表达”的原则。语言核心只有少数几种基本形式（如lambda、define、if），而循环、异常处理等特性均通过库而非语法糖实现。这种哲学使得Scheme成为教学与理论探索的理想工具：学生可以通过重构语言基础来理解计算的本质。萨斯曼常称Scheme为“可编程的编程语言”，其设计直接影响了后来的Python、JavaScript和Clojure等语言。
2.2 符号计算与人工智能
在人工智能领域，萨斯曼对符号计算与知识表示做出了关键贡献。他早期的工作聚焦于使用程序自动推导数学公式与物理定律，例如通过符号微分系统自动生成物理学中的解析表达式。
2.2.1 约束传播系统
萨斯曼开发了约束传播（Constraint Propagation）系统，这是一种用于求解方程与逻辑约束的推理框架。与传统数值迭代方法不同，约束传播通过符号推理逐步缩小变量取值范围，从而高效地解决规划、调度与电路设计中的组合问题。该系统在MIT的6.001课程中作为经典案例被反复引用。
2.2.2 自动微分技术
在计算数学领域，萨斯曼研究了自动微分（Automatic Differentiation）技术，提出了一种利用程序变换对任意复杂函数进行精确微分的方法。该方法无需手动推导或数值近似，仅通过重新组织计算图即可实现任意阶导数的自动求解。这项技术在机器学习与物理仿真中被广泛采用。
2.3 计算生物学与系统建模
进入21世纪后，萨斯曼的研究兴趣转向计算生物学。他致力于将程序设计思想应用于生物系统建模，试图用计算机科学中的抽象与组合方法理解生命过程。
2.3.1 基因调控网络的模拟
萨斯曼团队开发了用于模拟基因调控网络（Gene Regulatory Networks）的符号计算系统。该系统将基因、蛋白质与信号分子视为“计算节点”，通过约束传播与状态空间搜索预测细胞分化和疾病发展中的动态行为。其代表性工作包括对果蝇胚胎发育过程的计算建模，其中涉及的“基因电路”概念至今影响合成生物学领域。
3 著作与教材
3.1 《计算机程序的构造和解释》（SICP）
萨斯曼与哈尔·阿贝尔森合著的《计算机程序的构造和解释》（简称SICP）是计算机科学史上最经典的教育教材之一。该书最初于1985年由MIT出版社出版，以Scheme语言为载体，系统阐释了过程抽象、数据抽象、流处理、元语言抽象和寄存器机器等核心概念。
3.1.1 魔法师与“巫师书”的由来
SICP的封面设计是一位正在施法的魔法师，这一形象源于萨斯曼的一句名言：“计算机程序不是魔法，它只是计算。”然而，由于书中内容极具启发性和思辨色彩，许多读者觉得程序构造的过程宛若魔法施展。因此，该教材被学生亲切地称为“巫师书”（The Wizard Book），而封面上的魔法师也成为计算机教育文化中的标志符号。
3.1.2 影响力与后续改编
SICP被全球数百所高校作为入门编程教材或课程参考书，其影响远超计算机科学教育领域。该书曾在MIT的6.001课程中连续使用近三十年。2010年后，随着编程语言生态的演变，MIT逐步改用Python替代Scheme教学，但SICP的核心思想——如通过抽象分层构建复杂系统——仍被公认为计算机教育的永恒基石。此外，该书被译为中文、日语、法语等多种语言，并衍生出视频课程、在线互动版本等媒体形式。
3.2 《软件工程：面向对象与结构化方法》（合作）
萨斯曼与阿贝尔森等合著了《软件工程：面向对象与结构化方法》一书（约1990年出版），该书探讨了将函数式编程思想与面向对象设计模式相结合的可能性。尽管此书的影响不及SICP，但其中对“软件作为一种可演化的抽象系统”的观点仍具有前瞻性。
3.3 其他技术论文与报告
萨斯曼撰写或合作发表了百余篇学术论文，涉及符号计算、自动微分、约束推理和计算生物学等领域。其中，1975年与斯蒂尔合著的《Scheme：面向哲学家与计算机科学家的Lisp方言》成为Scheme语言的“出生证明”；1999年的《程序就是魔法：关于计算机科学教育的思考》则以散文形式探讨了教学本质。
4 教学与演讲风格
4.1 MIT 6.001课程传奇
6.001是MIT历史上最著名的本科计算机课程之一，由萨斯曼与阿贝尔森在1980年代初共同开设。该课程全程使用Scheme语言，以SICP为教材，强调对计算本质的深层次理解而非具体工具的使用。课程规模曾达到数百名学生，其授课录音和讲义被广泛传播，成为在线教育的早期范本。
4.1.1 黑板上的“无限递归”
在6.001的课堂上，萨斯曼习惯用大黑板绘制递归调用栈图，并通过逐步展开来演示尾递归优化原理。有一次，为了说明“无限递归”会造成堆栈溢出，他故意在黑板上画了一个循环箭头，并指着黑板说：“看，程序跑进了宇宙大爆炸。”台下顿时爆笑，这个桥段后来被学生们戏称为“黑板上的递归黑洞”。
4.2 名场面与“梗”文化
4.2.1 “It's not magic, it's just computation”
在SICP课程的开场讲座中，萨斯曼经常举起一本SICP，指着封面上的魔法师对新生们说：“这本书看起来像魔法书，但请记住——计算机程序不是魔法，它只是计算。不过，一旦你理解了它，计算本身就像魔法一样美妙。”这句已被无数程序员引用的名言，既是对编程神秘感的解构，也是对理性探索的礼赞。
4.2.2 长发与爱因斯坦式形象
萨斯曼常年留着及肩长发，搭配不修边幅的衬衫与牛仔裤，被学生形容为“计算机界的爱因斯坦”。他的发型和独特的授课手势（如用手指在空中画圆模拟递归过程）成为MIT校园的经典画面。在一次私下访谈中，他幽默地回应道：“如果程序员们认为留长发能写出更好的Lisp代码，那也不妨试试。”
5 荣誉与奖项
5.1 美国人工智能协会（AAAI）会士
1990年，萨斯曼因其在符号计算和约束推理方面的贡献，当选为美国人工智能协会（AAAI）会士。
5.2 IEEE计算机协会先驱奖
2005年，他获得IEEE计算机协会先驱奖，以表彰其“在编程语言与计算机教育领域的开创性工作，尤其在Scheme与SICP上的卓越成就”。
5.3 其他荣誉学位与表彰
萨斯曼还获得了丹麦技术大学（1998年）、苏黎世联邦理工学院（2003年）等机构授予的荣誉博士学位。2010年，MIT为他颁发了教学卓越奖，以表彰他三十年来的课堂教学改革。
6 影响与遗产
6.1 对计算机科学教育的革命性影响
SICP改变了计算机科学的教学范式：它将编程从“技能训练”提升为“思维方式训练”，强调函数式编程、元语言抽象和递归控制流。此后许多教材（如How to Design Programs、The Little Schemer）都直接受到SICP的启发。即使当Python成为主流教学语言后，SICP所倡导的“抽象分层”理念依然主导着课程设计。
6.2 在Lisp社群中的偶像地位
萨斯曼与斯蒂尔共同塑造了Lisp方言的现代面貌。Scheme语言虽然在实际工业应用中不及Common Lisp广泛，但作为教学与研究的“纯种Lisp”，它在编程语言理论、编译器设计和教育共同体中拥有狂热拥趸。每年举办的Scheme学术会议（Scheme Workshop）都会致敬他的贡献。
6.3 学生与后辈的传承
萨斯曼培养的多位博士生和博士后成为业界翘楚，例如麻省理工学院教授卡内基梅隆大学的罗伯特·哈珀（Robert Harper）和苹果公司的设计师安德烈·凯（Andre K）。他的教学录像至今被B站、YouTube等平台的程序员社群反复品味，形成了一种独特的“SICP文化”。
7 个人生活与趣闻
7.1 家庭与业余爱好
萨斯曼已婚，育有两子。他业余热爱观鸟和古典音乐，曾一度在MIT校园组建过“编程师乐队”。他在一次采访中声称，编程与吹奏萨克斯都属于“对模式的即时创造与重构”。
7.2 与阿贝尔森的“神仙组合”
萨斯曼与哈尔·阿贝尔森的合作堪称计算机教育史上的佳话。两人在MIT共事数十年，性格互补：萨斯曼放荡不羁，阿贝尔森严谨内敛。他们共同授课时，常常一个在黑板上写满公式，另一个在旁插科打诨。这种默契被学生们戏称为“计算机界的披头士”。
7.3 江湖传闻：用Emacs写论文之类
圈内流传着关于萨斯曼的诸多趣事，例如他坚持用Emacs编辑所有论文，并且“从不使用鼠标”。还有传闻称，他在课堂上突然掏出手机，用Telnet登录MIT的服务器进行演示，然后对学生们说：“只要你能用键盘，就不需要别的设备。”这些轶事虽未经官方确认，但已作为程序员文化中的经典段子广为流传。
8 相关条目与延伸阅读
- 相关人物：哈尔·阿贝尔森、盖伊·斯蒂尔、马文·明斯基
- 相关作品：《计算机程序的构造和解释》（SICP）、《软件工程：面向对象与结构化方法》
- 相关概念：Scheme语言、Lisp、约束传播、自动微分、函数式编程、元语言抽象
- 延伸阅读：MIT 6.001课程公开录像、SICP在线版（mitpress.mit.edu/sicp）、·Scheme语言官方文档
- 参见词条：计算机科学教育、麻省理工学院电子工程与计算机科学系、Lisp社群