Stephen J. Garland Principal Research Scientist, Emeritus MIT Computer Science and Artificial Intelligence Laboratory

Current Activities

Since retiring from MIT in 2005, Dr. Garland has been providing consulting services to the technical, legal, and nonprofit communities. He has worked with VeroModo, Inc., on developing industrial applications of his research at MIT on IOA and TIOA, two languages and sets of tools for the design of reliable distributed systems. He has provided expert opinion and testimony in numerous legal actions involving computer-related patents, copyrights, trade secrets, and contracts. And he is currently providing technical assistance for the Pro Arte Chamber Orchestra of Boston.

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

Publications

Click here for a list of Dr. Garland's publications.

Research Group Affiliations

• Networks and Mobile Systems
• Program Analysis Group
• Theory of Distributed Systems

How to Reach Me