ACM Fellows
United Kingdom – 2008
CITATION

For contributions to theorem provers and verification techniques.