Carlo Bellettini


# Since March 1, 2002, I am Associate Professor at University of Milano.

I received my Ph.D. in Computer Science in 1998 at the Computer Science Department of University of Milano with a thesis titled Specification and Design Environments for Hard real-Time Systems (advisor: Prof. Francesco Tisato).

I graduated in Electronic Engineering in 1992 at the Electronic Department of the Politechnic of Milano; my graduation thesis was about Analysis of Specification of Real-Time Systems using High-Level Petri Nets and was titled Uno Strumento di Analisi Temporale per Reti di Petri Temporizzate (advisor: Prof. Mauro Pezzè).