Stephen J. Garland Principal Research Scientist MIT Laboratory for Computer Science 200 Technology Square Cambridge, MA 02139-3539

Current Research Projects

• The IOA Language and Toolset
• Project Oxygen

Former Research Projects

• Larch: Languages and tools for formal specification
• LP, the Larch Prover
• Active Networks:
• SpectrumWare

Other Pages

• Selected publications
• Networks and Mobile Systems Research Group
• Theory of Distributed Systems Research Group

How to Reach Me