Attuale Presidente della Scuola di Ingegneria, si occupa principalmente, sia nell'attività didattica che in quella di ricerca, di tecniche e metodi di modellazione formale per lo sviluppo e la verifica di software, nonché delle loro applicazioni in ambito industriale ai sistemi critici per la sicurezza. I suoi interessi di ricerca hanno compreso, oltre alle tecniche di descrizione formale, la logica temporale, la programmazione e modellazione di sistemi distribuiti, e l'applicazione di tecniche di elaborazione del linguaggio naturale all'ingegneria dei requisiti.