Già professore ordinario di informatica presso l’Università di Roma “Tor Vergata”.
Laurea in Matematica (cum laude) e in Filosofia (cum laude).
I suoi interessi di ricerca sono nel campo del lambda calcolo e delle applicazioni dei metodi formali all’informatica. Oltre al lambda calcolo la sua ricerca si è svolta fra l’altro nel campo della verifica dei sistemi software-like (protocolli) e dei sistemi ibridi, nel campo delle tecnologie XML e dei linguaggi formali.
È autore di oltre 60 lavori scientifici su riviste e conferenze internazionali.
In precedenza – dopo aver superato con successo un corso-concorso presso la Scuola Superiore della P.A – ha lavorato nel campo dell’informatica e dell’organizzazione del lavoro come funzionario del Ministero delle Finanze.
