user avatar
user avatar
user avatar
Steve Garland
  • Member for 4 months
  • Last seen more than a month ago
  • stephengarland.com
  • Philadelphia, PA, USA
Stats
1
reputation
0
reached
1
answer
0
questions
About

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.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %