Stephen Garland papers, 1950 - 2012Manuscript ML-101


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.

Finding Aids