Formazione

Laurea in Ingegneria Elettronica

Da Settembre 1988 ad Ottobre 1994 Frequenta la Facoltà di Ingegneria Elettronica del Politecnico di Milano, dal Settembre 1988 all’Ottobre 1994, quando si laurea con il voto di 100/100 e lode con una tesi dal titolo: Un approccio basato sulla logica temporale per l’implementazione e il raffinamento di Reti di Petri Temporizzate, relatori prof. Dino Mandrioli e prof. Angelo Morzenti.

Dottorato in Ingegneria Informatica

Da Novembre 1996 a Gennaio 2000 Frequenta il corso di Dottorato in Ingegneria Informatica XII ciclo presso il Dipartimento di Elettronica e dell’Informazione, Politecnico di Milano, e consegue il titolo di Dottore di Ricerca nel Gennaio 2000, con la tesi intitolata Requirements Specification and Analysis for Real-Time Systems, supervisore prof. Dino Mandrioli e relatori prof. Dino Mandrioli e prof. Angelo Morzenti

Dottorato in Informatica

Da Novembre 2002 a Marzo 2006 Frequenta il XVIII ciclo del Dottorato in Informatica presso il Dipartimento di Matematica e Informatica dell’Università degli Studi di Catania, supervisore prof. Franco Barbanera e consegue il secondo titolo di Dottore di Ricerca nel marzo 2006, con la tesi intitolata Model based system and software validation.

Esperienze lavorative

Posizione attuale

Ricerca

Vai alla pagina della ricerca

My sw links