Stephen J. Garland

Principal Research Scientist, Emeritus
MIT Computer Science and Artificial Intelligence Laboratory

Current Activities

Dr. Garland retired from MIT in 2005 with over forty years of experience using and teaching composition and abstraction as the basis for designing, implementing, and understanding software. He also consulted and testified for numerous legal actions involving computer-related copyrights, patents, trade secrets, and contracts.

Since retiring, Dr. Garland has been one of three principals in a startup that produced FormulaForge, an add-in for Microsoft Excel that provides multiple views for creating, analyzing. editing, and using mathematical formulas. He is currently offering pro-bono computing workshops for K-8 students and educators, as well as maintaining a website with the aim of Promoting Computer Literacy in Children.

Information

Former CSAIL Research Activities

Larch: languages and tools for formal specification
LP (the Larch Prover): an interactive proof assistant for multisorted first-order logic
IOA: a language and toolset for the development of reliable distributed systems
MIT Project Oxygen: pervasive human-centered computing
Haystack and Simile: using the semantic web to help people collect, manage, and visualize information
Active Networks: deployment of network services via customized processing at network nodes
SpectrumWare: software-based distributed signal processing

Research Group Affiliations

How to Reach Me

Mail:	625 Kenilworth Street
	Philadelphia, PA 19147
Phone:	(215) 921-0152
Email:	garland@csail.mit.edu