Su investigación se centra en la teoría de la complejidad computacional, algoritmos, combinatoria y los grupos finitos, haciendo hincapié en la interacción de estos campos.