John P Hayes ACM Fellows (2001) ACM Fellows USA - 2001 citation For outstanding contributions to logic design and testing and to fault-tolerant computer architecture.