Tim Leonard
  • Member for 1 year, 4 months
  • Last seen more than a month ago
  • Greater Boston, USA
Stats
111
reputation
325
reached
2
answers
0
questions
About

Started work at Digital in 1976 doing processor verification, then did VAX architecture, then formal verification. Was part of the Alpha group when that was sold to Intel. Continued doing formal verification for a while at Intel, then retired.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
7
Score
1
Posts
50
Posts %
7
Score
1
Posts
50
Posts %
7
Score
1
Posts
50
Posts %
4
Score
1
Posts
50
Posts %