Fundó la teoría de la complejidad algorítmica.