1.1 Early life and education
Gerald Jay Sussman was born on February 8, 1947. He attended the Massachusetts Institute of Technology (MIT), where he earned his Bachelor of Science degree in mathematics in 1968 and his Ph.D. in computer science in 1973. His doctoral dissertation, titled “A Computational Model of Skill Acquisition,” was supervised by Marvin Minsky and explored how computers could learn and improve performance through experience.
1.2 Academic career at MIT
Sussman joined the MIT faculty in 1972 as an assistant professor in the Department of Electrical Engineering and Computer Science. He became a full professor in 1980 and was later appointed the Panasonic Professor of Electrical Engineering. Throughout his career, he contributed to the MIT Artificial Intelligence Laboratory (now part of the Computer Science and Artificial Intelligence Laboratory, CSAIL). He served as a principal investigator on numerous research projects and mentored many graduate students who went on to influential careers in computer science.
1.3 Retirement and emeritus status
Sussman retired from active teaching in 2020 and was granted the title of Panasonic Professor of Electrical Engineering Emeritus. He remains involved in research and occasional teaching, continuing to participate in seminars and collaborative projects at MIT.
2.1 Artificial intelligence and symbolic computation
Sussman’s early work in AI focused on symbolic computation and automated reasoning. He developed the language MACLISP for the DEC PDP-6 and PDP-10 computers, which became a foundation for many AI programs. His research on skill acquisition and planning contributed to the understanding of how machines can learn from experience and generate new problem-solving strategies.
2.2 Programming languages and Scheme
2.2.1 Development of Scheme
In the 1970s, Sussman and his graduate student Guy L. Steele Jr. created the programming language Scheme, a dialect of Lisp. Scheme introduced lexical scoping, first-class procedures, and continuations, which allowed for elegant and powerful programming abstractions. The language was designed to be minimal yet expressive, serving as a vehicle for teaching programming and exploring foundational ideas in computation.
2.2.2 Relationship to Lisp
Scheme is a direct descendant of Lisp, inheriting its list-based syntax and recursive data structures. However, Scheme departed from earlier Lisp dialects by adopting a cleaner semantics, including static scoping and proper tail recursion. This made Scheme suitable for both practical use and theoretical study. Sussman and Steele’s work influenced the development of later languages such as Common Lisp and many functional programming languages.
2.3 Constraint propagation and autonomous systems
Sussman pioneered techniques in constraint propagation for solving problems in electrical circuit design and other engineering domains. His system EL (Electrical Troubleshooter) used constraints to diagnose faults in analog circuits. He also contributed to the development of autonomous robotic systems, particularly through the concept of “propagation of constraints” as a basis for interactive simulation and planning.
2.4 *Structure and Interpretation of Computer Programs*
2.4.1 Pedagogical approach
Co-authored with Hal Abelson, SICP takes a radical approach to teaching computer programming by emphasizing abstraction, modularity, and the underlying principles of computation rather than syntactic details. The book uses Scheme as its primary language and covers topics such as data structures, control abstraction, and metalinguistic abstraction. Its famous “wizard book” cover and the accompanying video lectures by Sussman and Abelson have become iconic in computer science education.
2.4.2 Influence on computer science education
Since its first publication in 1985, SICP has been used as a textbook in introductory computer science courses at MIT and many other universities worldwide. It has influenced generations of programmers and educators, shaping the way software design and computational thinking are taught. The book’s emphasis on functional programming and the exploration of interpreters and compilers has been widely praised for its intellectual rigor.
3.1 Digital circuit design and the SDF (Spectral Delay Function)
Sussman investigated the design of digital circuits using constraint-based methods. He helped develop the SDF (Spectral Delay Function) representation for analyzing timing and signal propagation in complex digital systems. This work contributed to the automated synthesis and verification of digital hardware.
3.2 Computational modeling of physical systems
3.2.1 Work on Hamiltonian mechanics
With collaborators, Sussman applied computational methods to classical mechanics, particularly Hamiltonian mechanics. He co-developed methods for symbolic and numeric integration of Hamiltonian systems, enabling the simulation of complex physical phenomena with high accuracy.
3.2.2 Functional differential equations
Sussman explored the use of functional differential equations (FDEs) to model systems with delays and feedback. His research in this area led to new algorithms for solving FDEs and their application in scientific computing.
4.1 Books
4.1.1 *Structure and Interpretation of Computer Programs*
First edition 1985, second edition 1996. Published by MIT Press. Co-authored with Harold Abelson. Often referred to as the “Wizard Book” due to its cover illustration.
4.1.2 *Software Design for Flexibility*
- Co-authored with Chris Hanson. MIT Press. Discusses techniques for building software that can adapt to changing requirements through flexible design using the Scheme language.
4.1.3 *Functional Differential Geometry*
- Co-authored with Jack Wisdom. MIT Press. Applies functional programming concepts to the field of differential geometry, providing a new computational perspective on the mathematics of curved spaces.
4.2 Selected papers
- “The Art of the Propagator” (2005, with Alexey Radul) – introduces a programming paradigm based on constraint propagation.
- “Structure and Interpretation of Classical Mechanics” (2001, with Jack Wisdom) – a computational approach to mechanics.
- “Lisp Machine Philosophy” (1980) – discusses the design principles of the Lisp machine architecture.
5.1 Teaching awards
Sussman received the MIT Everett Moore Baker Memorial Award for Excellence in Undergraduate Teaching in 1984. He was also honored with the Bose Award for Excellence in Teaching in 1991.
5.2 Professional recognitions
He is a Fellow of the Association for Computing Machinery (ACM) and a Fellow of the American Academy of Arts and Sciences. In 2016, he was awarded the ACM SIGPLAN Programming Languages Achievement Award for his contributions to programming language design, including Scheme.
6.1 Influences on computer science
Sussman’s work has had a lasting impact on artificial intelligence, programming languages, and computer science education. The Scheme language and SICP remain central to the pedagogy of programming. His ideas on constraint propagation and functional programming continue to influence modern software engineering and theoretical computer science.
6.2 Mentorship and students
Sussman supervised many Ph.D. students who became leading researchers, including Harold Abelson (co-author), Guy L. Steele Jr. (co-developer of Scheme), and Richard Stallman (founder of the GNU Project). His mentorship style emphasized deep understanding of fundamentals and creative problem-solving, fostering a generation of innovators in computer science.