Matteo Rossi received his Laurea Degree in Computer Engineering from the Politecnico di Milano in 1999. At the same time, he received his Diplôme d’Ingénieur from the École nationale supérieure de Techniques Avancées (ENSTA, Paris), as part of the European TIME (Top Industrial Managers Europe) program. He received his PhD in Computer Engineering and Automation in 2003, also from the Politecnico di Milano. Since January 2005 he is Assistant Professor at the Politecnico di Milano. His main research interests are in the area of formal methods for the modeling and of critical systems, with particular emphasis on real-time systems. He teaches the following courses at the the Politecnico di Milano: Programming A (for Civil Engineers), Theoretical Computer Science, and Principles of Computer Science for Automation.