Stephen Garland
About Me
I am a retired computer scientist, having been a Professor of Mathematics and Computer Science at Dartmouth College (1967-1985) and a Principal Research Scientist at the MIT Computer Science and Artificial Intelligence Laboratory (1985-2005). My primary research interests were in software engineering, formal specifications, automated reasoning, and distributed systems. See http://stephengarland.com for more information.
