Gerald Jay Sussman

Template:Short description Template:Use mdy dates Template:Infobox scientist

Gerald Jay Sussman (born February 8, 1947) is the Panasonic Professor of Electrical Engineering at the Massachusetts Institute of Technology (MIT). He has been involved in artificial intelligence (AI) research at MIT since 1964. His research has centered on understanding the problem-solving strategies used by scientists and engineers, with the goals of automating parts of the process and formalizing it to provide more effective methods of science and engineering education. Sussman has also worked in computer languages, in computer architecture, and in Very Large Scale Integration (VLSI) design.<ref>Template:Cite web</ref>

Education

Sussman attended the Massachusetts Institute of Technology as an undergraduate and received his SB in mathematics in 1968. He continued his studies at MIT and obtained a PhD in 1973, also in mathematics, under the supervision of Seymour Papert. His doctoral thesis was titled "A Computational Model of Skill Acquisition" focusing on artificial intelligence and machine learning, using a computational performance model named HACKER.<ref>Template:Cite thesis</ref>

According to a common story,<ref>Template:Cite journal</ref> in 1966, Marvin Minsky tasked his student Gerald Jay Sussman to “spend the summer linking a camera to a computer and getting the computer to describe what it saw.”<ref>Template:Cite journal</ref> This story was often told to illustrate that the difficulty of computer vision was not apparent to AI researchers in the early days.

Academic work

Sussman is a coauthor (with Hal Abelson and Julie Sussman) of the introductory computer science textbook Structure and Interpretation of Computer Programs (SICP). It was used at MIT for several decades, and has been translated into several languages.Template:Citation needed

Sussman's contributions to artificial intelligence include problem solving by debugging almost-right plans, propagation of constraints applied to electrical circuit analysis and synthesis, dependency-based explanation and dependency-based backtracking, and various language structures for expressing problem-solving strategies. Sussman and his former student, Guy L. Steele Jr., invented the programming language Scheme in 1975.

Sussman saw that artificial intelligence ideas can be applied to computer-aided design (CAD). Sussman developed, with his graduate students, sophisticated computer-aided design tools for Very Large Scale Integration (VLSI). Steele made the first Scheme hardware chips in 1978.Template:Citation needed These ideas and the AI-based CAD technology to support them were further developed in the Scheme chips of 1979 and 1981. The technique and experience developed were then used to design other special-purpose computers.

Sussman was the principal designer of the Digital Orrery,Template:Cn a machine designed to do high-precision integrations for orbital mechanics experiments.<ref>Template:Cite journal</ref> The Orrery hardware was designed and built by a few people in a few months.Template:Cn

Using the Digital Orrery, Sussman has worked with Jack Wisdom to discover numerical evidence for chaotic motions in the outer planets. The Digital Orrery machine is now retired at the Smithsonian Institution in Washington, DC.Template:Citation needed Sussman was also the lead designer of the Supercomputer Toolkit, another multiprocessor computer optimized for evolving of ordinary differential equations. The Supercomputer Toolkit was used by Sussman and Wisdom to confirm and extend the discoveries made with the Digital Orrery to include the entire planetary system.<ref>Template:Cite journal</ref><ref>Template:Cite journal</ref>

Sussman has pioneered the use of computational descriptions to communicate methodological ideas in teaching subjects in Electrical Circuits and in Signals and Systems. Over the past decade Sussman and Wisdom have developed a subject that uses computational techniques to communicate a deeper understanding of advanced classical mechanics. In Computer Science: Reflections on the Field, Reflections from the Field,Template:Citation needed he writes "... computational algorithms are used to express the methods used in the analysis of dynamical phenomena. Expressing the methods in a computer language forces them to be unambiguous and computationally effective. Students are expected to read the programs and to extend them and to write new ones. The task of formulating a method as a computer-executable program and debugging that program is a powerful exercise in the learning process. Also, once formalized procedurally, a mathematical idea becomes a tool that can be used directly to compute results." Sussman and Wisdom, with Meinhard Mayer, have produced a textbook, Structure and Interpretation of Classical Mechanics (SICM), to capture these new ideas.

Sussman and Abelson have also been a part of the free software movement, including releasing MIT/GNU Scheme as free software<ref>Template:Cite web</ref> and serving on the board of directors of the Free Software Foundation.<ref>Template:Cite web</ref>

In 2011, Sussman attended an event in the Virgin Islands, known as the "Mindshift Conference", hosted by Jeffrey Epstein and Al Seckel.<ref>Template:Cite news</ref>

Sussman's work is presented in many videos, such as: with Hal Abelson in a full 20-lecture version of MIT's SICP course,<ref> Template:Cite AV media</ref> for LispNYC,<ref> Template:Cite AV media</ref><ref>Template:Cite web</ref> at the International Conference on Complex Systems,<ref> Template:Cite AV media</ref> for ArsDigita University,<ref>Template:Cite AV media</ref> and giving the keynote talk at a Strange Loop conference.<ref> Template:Cite AV media</ref><ref>Template:Cite web</ref>

Awards and organizations

For his contributions to computer science education, Sussman received the Association for Computing Machinery (ACM) Karl Karlstrom Outstanding Educator Award in 1990, and the Amar G. Bose award for teaching in 1992.<ref name="CSBIO">Template:Cite web</ref>

Template:Asof, Sussman is the only founding director who is still active on the board of directors of the Free Software Foundation (FSF).<ref>Template:Cite web</ref>

Sussman is a fellow of the following institutions:

The American Academy of Arts and Sciences
The American Association for the Advancement of Science (AAAS)
The Association for the Advancement of Artificial Intelligence (AAAI)
The Association for Computing Machinery (ACM)
The Institute of Electrical and Electronics Engineers (IEEE)
The New York Academy of Sciences (NYAS)

Sussman is member of the following institutions:

The National Academy of Engineering (NAE)
The American Watchmakers-Clockmakers Institute (AWI),
The Massachusetts Watchmakers-Clockmakers Association (MWCA)
The Amateur Telescope Makers of Boston (ATMOB)
The American Radio Relay League (ARRL).<ref name="CSBIO"/>

In 2023 he received the IEEE Computer Society’s Taylor L. Booth Education Award for his “inspirational approach to the teaching of computer science through functional programming".<ref>Template:Cite news</ref>

Personal life

Gerald Sussman is married to computer programmer Julie Sussman.<ref>Template:Cite web</ref>

Sussman is a bonded locksmith, and also does hands-on work with precision mechanical watch movements, as well as amateur telescope making.<ref name="WatchLect"/> He has given public lectures on the physics and mathematics of watch escapements. He is a life member of the American Watchmakers-Clockmakers Institute.<ref name="WatchLect">Template:Cite web</ref>

Select bibliography

Chris Hanson and Gerald Jay Sussman; Software Design for Flexibility, MIT Press, 2021. ISBN 978-0-262-045490.
Gerald Jay Sussman and Jack Wisdom, with Will Farr; Functional Differential Geometry, MIT Press, 2013. ISBN 978-0-262-01934-7.
Alexey Radul and Gerald Jay Sussman; "Revised Report on the Propagator Model", documentation and system, August 2010.
Alexey Radul and Gerald Jay Sussman; "The Art of the Propagator," MIT-CSAIL-TR-2009-002; Abridged version in Proc. 2009 International Lisp Conference, March 2009.
Structure and Interpretation of Classical Mechanics, second edition, Gerald Jay Sussman and Jack Wisdom, MIT Press, 2014. ISBN 978-0-262-02896-7.
"Cellular Gate Technology", Thomas F. Knight and Gerald Jay Sussman, Proc. UMC98, First International Conference on Unconventional Models of Computation, Auckland, NZ, January 1998.
"Sparse Representations for Fast, One-shot learning", Kenneth Yip and Gerald Jay Sussman, Proc. of National Conference on Artificial Intelligence, July 1997. A longer version appears as MIT AI Lab Memo #1633, May 1998
"A Computational Model for the Acquisition and Use of Phonological Knowledge", Kenneth Yip and Gerald Jay Sussman, MIT Artificial Intelligence Memo 1575, March 1996.
"Amorphous Computing", Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight, Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss, in Communications of the ACM, 43, 5, May 2000. Also as MIT Artificial Intelligence Memo 1665, August 1999.
"Comparison between subsonic flow simulation and physical measurements of flue pipes", Panayotis. A. Skordos and Gerald Jay Sussman, Proceedings of ISMA 95, International Symposium on Musical Acoustics, Le Normont, France, July 1995. Also MIT Artificial Intelligence Memo 1535, April 1995.
"Chaotic Evolution of the Solar System", Gerald Jay Sussman and Jack Wisdom, Science, 257, July 3, 1992.
"The Supercomputer Toolkit: A general framework for special-purpose computing", with A. Berlin, J. Katzenelson, W. McAllister, G. Rozas, G. J. Sussman, and Jack Wisdom, International Journal of High-Speed Electronics, 3, no. 3, pp. 337–361, 1992.
"Numerical evidence that the motion of Pluto is chaotic", Gerald Jay Sussman and Jack Wisdom, in Science, 241, July 22, 1988.
Structure and Interpretation of Computer Programs, Harold Abelson and Gerald Jay Sussman with Julie Sussman, MIT Press and McGraw-Hill, 1985, second edition 1996, ISBN 0-262-01153-0. (published translations in French, Japanese, Polish, Chinese, Korean, and German).

References

Template:Reflist

External links

Template:Lisp programming language Template:Authority control