Ha trabajado en temas de lógica de primer y de segundo orden, de teoría axiomática de conjuntos, de computabilidad y complejidad.