ACM Fellow

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

Award Category: 

  • ACM Fellow

Year of Award: 

2001
Jacob Abraham
Cockrell Family Regents Chair in Engineering #8
Professor