E’ professore associato di Informatica (SSD. INF/01) presso lo IUAV. In precedenza è stato ricercatore presso l'Università di Udine, dove ha insegnato presso la facoltà di Scienze MM. FF. NN. e la facoltà di Ingegneria.  La sua attività di ricerca si svolge nell'ambito dell'informatica teorica e riguarda la semantica dei linguaggi di programmazione e la struttura dei processi di calcolo.