Matteo Rossi is an associate professor at Politecnico di Milano, from which he received his Laurea Degree in 1999 and his PhD in Computer Engineering and Automation in 2003. He also holds a Diplôme d’Ingénieur from the École nationale supérieure de Techniques Avancées (ENSTA, Paris). He became assistant professor at the Dipartimento di Elettronica e Informazione at Politecnico di Milano in January 2005, and he is associate professor at Dipartimento di Meccanica since January 2020.
His research interests are mainly in formal methods for safety-critical and real-time systems. In particular, he is interested in the study of formal notations for the modelling of real-time systems, in the development of automated formal verification techniques for timed systems, and in their applications to various domains, and in particular to robotic systems that involve the interaction of humans and machines. He is also interested in issues related to the development of intelligent transportation systems.
He has co-authored over 100 papers in international journals and conferences, and a monograph. He was program co-chair of the FormaliSE conference in 2019, co-chair of the FM Doctoral Symposium in 2016, and he was also on the program committee of various conferences, including FM, SAFECOMP, FMICS. He led research units in various European and Italian projects: IT2Rail, ST4RT, GOF4R, SPRINT, RIDE2RAIL, IP4MaaS, Car and the Internet, 3cixty, MOTUS. He has also participated in several other national and international projects, including SMScom, MADES, Green Move, DICE, ArtDeco.