0 Estados Unidos, 1932 -Con su artículo "Finite Automata and Their Decision Problem", introdujo, junto a Michael O. Rabin, la idea de máquinas no-deterministas, concepto que se ha demostrado posteriormente de importancia crucial. Se le considera el padre de la llamada Teoría de Dominios, que encontró posteriores aplicaciones en la Informática. Galardonado con el Premio Turing en 1976.2005-02-16
