Skip to main content Skip to search results Skip to Facets & Filters

Garland, Stephen (J.)



Stephen J. Garland received an A.B. from Dartmouth College in 1963 and a Ph.D. in mathematical logic from the University of California at Berkeley in 1967. He served as Assistant Professor of Mathematics at Dartmouth starting in the late 1960s, and he went on to be Assistant Director of Software Development and Dartmouth's Kiewit Computation Center. He was involved with a project at the National Science Foundation to integrate computers in the undergraduate curriculum, and later would chair the College Board committee that developed the Advanced Placement Program in Computer Science. He also served as vice-chair of the American National Standards Institute(ANSI) X3J2 Basic Standards Committee. He was a member of the American Mathematical Society, the Association for Symbolic Logic, and the Mathematical Association of America. In 1985, he began working at the MIT Laboratory for Computer Science, specifically at the Computer Science and Artificial Intelligence Laboratory as a Principal Research Scientist. Among the projects he has worked on there are Project Oxygen, which investigates pervasive human-centered computing, the IOA Project, which produced a language and tools for distribution systems, and the Larch Prover, which is an automated proof assistant focused on designing software and hardware. He has written numerous articles for academic publications and technology conferences.

Found in 1 Collection or Record:

Stephen Garland papers

Identifier: ML-101
Date(s): 1950 to 2012

Stephen J. Garland, Dartmouth College, 1963 Mathmatician and Computer Scientist. Contains correspondence, letters, notes, pamphlets, proposals, manuals, drafts, and overhead projector sheets. Documents Garland’s involvement with the Dartmouth Computer Center and various computer projects including the development of BASIC and DTSS.

Back to top