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.