Fellow
United States – 2001
CITATION

For outstanding contributions in the fields of fault tolerant computing, automatic test generation and design for test, and formal verification.