Entre sus logros destacan la introducción de los sistemas de demostración interactivos ("vide" ), el uso del término «algoritmo de Las Vegas» y métodos teóricos de grupo en la comprobación del isomorfismo de grafos ("vide" para estos dos últimos).