Fellow
United States – 2005
CITATION

For contributions to system verification and for leadership in the development of verifiable voting systems.

ACM Doctoral Dissertation Award
Series Winner United States – 1988
CITATION

For his dissertation "Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits."