Este fue concedido en 1995 por sus contribuciones a la teoría de Complejidad computacional, y sus aplicaciones a la criptografía y ""program checking"".