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 for more information.

Tech I'm interested in

Topics I'm interested in