Gerald Jay Sussman

Last updated
Gerald Jay Sussman
Jerry Sussman.jpg
Gerald Sussman appearing in a 1986 video recording of the SICP lectures
Born (1947-02-08) February 8, 1947 (age 77)
US
CitizenshipAmerican
EducationMassachusetts Institute of Technology (SB 1968, PhD 1973)
Known for Artificial intelligence, Structure and Interpretation of Computer Programs
Spouse Julie Sussman
Awards IJCAI Computers and Thought Award (1981)
ACM Fellow (1990)
Scientific career
Fields Cognitive science, electrical engineering, computer science
Institutions Massachusetts Institute of Technology
Thesis A Computational Model of Skill Acquisition (1973)
Doctoral advisor Seymour Papert
Doctoral students
Website groups.csail.mit.edu/mac/users/gjs

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. [1]

Contents

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. [2]

According to a common story, [3] 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.” [4] 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 . It was used at MIT for several decades, and has been translated into several languages.[ 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 chips in 1978. 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, a machine designed to do high-precision integrations for orbital mechanics experiments. The Orrery hardware was designed and built by a few people in a few months, using AI-based simulation and compiling tools. [5]

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. 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. [6] [7]

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, 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 , 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 [8] and serving on the board of directors of the Free Software Foundation. [9]

Sussman's work is presented in many videos, such as: with Hal Abelson in a full 20 lecture version of MIT's SICP course, [10] for LispNYC, [11] [12] at the International Conference on Complex Systems, [13] for ArsDigita University, [14] and giving the keynote talk at a Strange Loop conference. [15] [16]

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. [17]

Sussman and Hal Abelson are the only founding directors still active on the board of directors of the Free Software Foundation (FSF). [18]

Sussman is a fellow of the following institutions:

Sussman is member of the following institutions:

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" [19] .

Personal life

Gerald Sussman is married to computer programmer Julie Sussman. [20]

Select bibliography

See also

Related Research Articles

<span class="mw-page-title-main">Lisp machine</span> Computer specialized in running Lisp

Lisp machines are general-purpose computers designed to efficiently run Lisp as their main software and programming language, usually via hardware support. They are an example of a high-level language computer architecture, and in a sense, they were the first commercial single-user workstations. Despite being modest in number Lisp machines commercially pioneered many now-commonplace technologies, including effective garbage collection, laser printing, windowing systems, computer mice, high-resolution bit-mapped raster graphics, computer graphic rendering, and networking innovations such as Chaosnet. Several firms built and sold Lisp machines in the 1980s: Symbolics, Lisp Machines Incorporated, Texas Instruments, and Xerox. The operating systems were written in Lisp Machine Lisp, Interlisp (Xerox), and later partly in Common Lisp.

<span class="mw-page-title-main">Logo (programming language)</span> Computer programming language

Logo is an educational programming language, designed in 1967 by Wally Feurzeig, Seymour Papert, and Cynthia Solomon. Logo is not an acronym: the name was coined by Feurzeig while he was at Bolt, Beranek and Newman, and derives from the Greek logos, meaning word or thought.

<span class="mw-page-title-main">Scheme (programming language)</span> Dialect of Lisp

Scheme is a dialect of the Lisp family of programming languages. Scheme was created during the 1970s at the MIT Computer Science and Artificial Intelligence Laboratory and released by its developers, Guy L. Steele and Gerald Jay Sussman, via a series of memos now known as the Lambda Papers. It was the first dialect of Lisp to choose lexical scope and the first to require implementations to perform tail-call optimization, giving stronger support for functional programming and associated techniques such as recursive algorithms. It was also one of the first programming languages to support first-class continuations. It had a significant influence on the effort that led to the development of Common Lisp.

Planner is a programming language designed by Carl Hewitt at MIT, and first published in 1969. First, subsets such as Micro-Planner and Pico-Planner were implemented, and then essentially the whole language was implemented as Popler by Julian Davies at the University of Edinburgh in the POP-2 programming language. Derivations such as QA4, Conniver, QLISP and Ether were important tools in artificial intelligence research in the 1970s, which influenced commercial developments such as Knowledge Engineering Environment (KEE) and Automated Reasoning Tool (ART).

<i>Structure and Interpretation of Computer Programs</i> Computer science textbook

Structure and Interpretation of Computer Programs (SICP) is a computer science textbook by Massachusetts Institute of Technology professors Harold Abelson and Gerald Jay Sussman with Julie Sussman. It is known as the "Wizard Book" in hacker culture. It teaches fundamental principles of computer programming, including recursion, abstraction, modularity, and programming language design and implementation.

Incompatible Timesharing System (ITS) is a time-sharing operating system developed principally by the MIT Artificial Intelligence Laboratory, with help from Project MAC. The name is the jocular complement of the MIT Compatible Time-Sharing System (CTSS).

<span class="mw-page-title-main">John McCarthy (computer scientist)</span> American scientist (1927–2011)

John McCarthy was an American computer scientist and cognitive scientist. He was one of the founders of the discipline of artificial intelligence. He co-authored the document that coined the term "artificial intelligence" (AI), developed the programming language family Lisp, significantly influenced the design of the language ALGOL, popularized time-sharing, and invented garbage collection.

<span class="mw-page-title-main">Hal Abelson</span> American mathematician

Harold Abelson is an American mathematician and computer scientist. He is a professor of computer science and engineering in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT), a founding director of both Creative Commons and the Free Software Foundation, creator of the MIT App Inventor platform, and co-author of the widely-used textbook Structure and Interpretation of Computer Programs, sometimes also referred to as "the wizard book."

<span class="mw-page-title-main">MIT Computer Science and Artificial Intelligence Laboratory</span> CS and AI Laboratory at MIT (formed by merger in 2003)

Computer Science and Artificial Intelligence Laboratory (CSAIL) is a research institute at the Massachusetts Institute of Technology (MIT) formed by the 2003 merger of the Laboratory for Computer Science (LCS) and the Artificial Intelligence Laboratory. Housed within the Ray and Maria Stata Center, CSAIL is the largest on-campus laboratory as measured by research scope and membership. It is part of the Schwarzman College of Computing but is also overseen by the MIT Vice President of Research.

<span class="mw-page-title-main">Richard Greenblatt (programmer)</span> American computer programmer (born 1944)

Richard D. Greenblatt is an American computer programmer. Along with Bill Gosper, he may be considered to have founded the hacker community, and holds a place of distinction in the communities of the programming language Lisp and of the Massachusetts Institute of Technology (MIT) Artificial Intelligence Laboratory.

<span class="mw-page-title-main">Rodney Brooks</span> Australian roboticist

Rodney Allen Brooks is an Australian roboticist, Fellow of the Australian Academy of Science, author, and robotics entrepreneur, most known for popularizing the actionist approach to robotics. He was a Panasonic Professor of Robotics at the Massachusetts Institute of Technology and former director of the MIT Computer Science and Artificial Intelligence Laboratory. He is a founder and former Chief Technical Officer of iRobot and co-Founder, Chairman and Chief Technical Officer of Rethink Robotics and currently is the co-founder and Chief Technical Officer of Robust.AI.

<span class="mw-page-title-main">Wally Feurzeig</span> American computer scientist

Wallace "Wally" Feurzeig was an American computer scientist who was co-inventor, with Seymour Papert and Cynthia Solomon, of the programming language Logo, and a well-known researcher in artificial intelligence (AI).

In computer science, the Actor model, first published in 1973, is a mathematical model of concurrent computation.

Structure and Interpretation of Classical Mechanics (SICM) is a classical mechanics textbook written by Gerald Jay Sussman and Jack Wisdom with Meinhard E. Mayer. The first edition was published by MIT Press in 2001, and a second edition was released in 2015. The book is used at the Massachusetts Institute of Technology to teach a class in advanced classical mechanics, starting with Lagrange's equations and proceeding through canonical perturbation theory.

<span class="mw-page-title-main">Alan Kotok</span> American computer scientist

Alan Kotok was an American computer scientist known for his work at Digital Equipment Corporation and at the World Wide Web Consortium (W3C). Steven Levy, in his book Hackers: Heroes of the Computer Revolution, describes Kotok and his classmates at the Massachusetts Institute of Technology (MIT) as the first true hackers.

<span class="mw-page-title-main">Carl Hewitt</span> American computer scientist; Planner programming languagedesigner (1944-2022)

Carl Eddie Hewitt was an American computer scientist who designed the Planner programming language for automated planning and the actor model of concurrent computation, which have been influential in the development of logic, functional and object-oriented programming. Planner was the first programming language based on procedural plans invoked using pattern-directed invocation from assertions and goals. The actor model influenced the development of the Scheme programming language, the π-calculus, and served as an inspiration for several other programming languages.

The AI Memos are a series of influential memorandums and technical reports published by the MIT AI Lab, Massachusetts Institute of Technology, United States. They cover Artificial Intelligence, a field of computer science.

The history of the programming language Scheme begins with the development of earlier members of the Lisp family of languages during the second half of the twentieth century. During the design and development period of Scheme, language designers Guy L. Steele and Gerald Jay Sussman released an influential series of Massachusetts Institute of Technology (MIT) AI Memos known as the Lambda Papers (1975–1980). This resulted in the growth of popularity in the language and the era of standardization from 1990 onward. Much of the history of Scheme has been documented by the developers themselves.

References

  1. ↑ Sussman, Gerald Jay. "Biographical sketch of Gerald Jay Sussman". Massachusetts Institute of Technology. Retrieved 2019-09-09.
  2. ↑ Sussman, Gerald (1973). A Computational Model of Skill Acquisition (Ph.D.). Massachusetts Institute of Technology. hdl:1721.1/6894.
  3. ↑ Kragic, Danica (2018-10-17). "From active perception to deep learning". Science Robotics. 3 (23). doi:10.1126/scirobotics.aav1778. ISSN   2470-9476. PMID   33141734. S2CID   53020752.
  4. ↑ Papert, Seymour A. (1966-07-01). "The Summer Vision Project". hdl:1721.1/6125.{{cite journal}}: Cite journal requires |journal= (help)
  5. ↑ Applegate, James; Douglas, M.; Gursel, Y.; Hunter, P.; Seitz, C.; Sussman, Gerald Jay (September 1985). "A Digital Orrery". IEEE Transactions on Computers. C-34 (9): 822–831. doi:10.1109/TC.1985.1676638. S2CID   10002156.
  6. ↑ Applegate, James; Douglas, M.; Gursel, Y.; Sussman, Gerald Jay; Wisdom, Jack (July 1986). "The Outer Solar System for 200 Million Years". Astronomical Journal. 92: 176–194. Bibcode:1986AJ.....92..176A. doi:10.1086/114149. hdl: 1721.1/6442 .
  7. ↑ Sussman, Gerald Jay; Wisdom, Jack (July 1988). "Numerical evidence that the motion of Pluto is chaotic". Science. 241 (4864): 433–7. Bibcode:1988Sci...241..433S. doi:10.1126/science.241.4864.433. hdl: 1721.1/6038 . PMID   17792606. S2CID   1398095. Archived from the original on 2017-07-06.
  8. ↑ "MIT/GNU Scheme". Free Software Foundation. Retrieved 2019-09-11.
  9. ↑ "Staff and Board". Free Software Foundation. Retrieved 2019-09-11.
  10. ↑ Sussman, Gerald (July 1986). MIT OpenCourseWare: Video Lectures (videotape). Massachusetts: Massachusetts Institute of Technology.
  11. ↑ Sussman, Gerald (January 2016). Flexible Systems, The Power of Generic Operations (videotape). LispNYC. Retrieved 2019-09-11.
  12. ↑ "LispNYC". LispNYC. Retrieved 2019-09-11.
  13. ↑ Sussman, Gerald (June 11, 2002). Formalizing Science (videotape). New England Complex Systems Institute (NECSI). Retrieved 2019-09-11.
  14. ↑ Sussman, Gerald (2001). The Legacy of Computer Science (videotape). Archived from the original on 2011-10-13.
  15. ↑ Sussman, Gerald (September 19, 2011). We Really Don't Know How To Compute! (videotape). InfoQ.
  16. ↑ "Strange Loop". Strange Loop. Retrieved 2019-09-11.
  17. 1 2 "Gerald Sussman | MIT CSAIL". www.csail.mit.edu. Retrieved 2022-06-01.
  18. ↑ "Staff and Board — Free Software Foundation — Working together for free software". www.fsf.org. Retrieved 2022-06-01.
  19. ↑ "Innovations in Education: A Conversation with Gerald Jay Sussman, Taylor L. Booth Education Award Recipient". IEEE Computer Society . March 5, 2024. Retrieved March 23, 2024.
  20. ↑ Aquino, Mario (2011-09-22). "The teacher". Blogger. Retrieved 2019-09-09.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.