91
reputation
2

Tim Leonard

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.

2
answers
0
questions
~294
people reached
  • Greater Boston, USA
  • Member for 5 months
  • 1 profile view
  • Last seen Sep 23 '20 at 20:01

Top network posts

We respect a laser-like focus on one topic.

Top tags (4)

Score 6
Posts 1
Posts % 50
Score 6
Posts 1
Score 6
Posts 1
Score 3
Posts 1

Top posts (2)

Badges (2)

Gold

Silver

Bronze

2

Rarest