Benedetto Intrigila

Benedetto Intrigila è 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 delle applicazioni dei metodi formali all'informatica, in un ambito piuttosto ampio, che include, fra l'altro, il lambda-calcolo, la programmazione funzionale e la teoria dei linguaggi formali. La sua ricerca corrente si è concentrata in particolare nel campo della verifica dei sistemi software-like (protocolli) e dei sistemi ibridi e sul campo delle tecnologie XML. E' autore di oltre 60 lavori scientifici su riviste e conferenze internazionali. E' stato chairman del comitato organizzatore delle Conferenze TLCA'99 e CHARME'03 Conference e membro del comitato di programma di ICTCS '05.