Aree di specializzazione:

Logica matematica; Fondamenti della matematica.

Aree di competenza:

Informatica teorica, Logica filosofica..