I was a Principal Research Scientist in the MIT Computer Science and Engineering Laboratory from 1985-2015. Prior to that I was a Professor of Computer Science and Mathematics at Dartmouth College. My research interests were in software engineering, formal specifications, and automated deduction.
©