Es muy conocido por su trabajo en la computación aleatoria, en la complejidad de los algorítmicos, en los fundamentos de las matemáticas e informática, en la teoría del cómputo y en la teoría de la información.