Biography
Matteo received the PhD degree in Computer Science from the University of Milan in 2015 under the supervision of Prof. Carlo Bellettini. His dissertation focused on the combination of abstraction techniques and distributed computing to tackle the state explosion problem in formal verification. Matteo is currently an Associate Professor at Politecnico di Milano. His current research activity focuses on software engineering, software verification, and software testing. He is especially interested in methods and tools to improve dependability of autonomous, cyber-physical, service-based, and ML-enabled critical systems. He publishes papers in international journals (e.g., TSE, TOSEM, TAAS, JSS, EMSE) and in proceedings of international conferences (e.g., ICSE, ISSRE, ICST, ICSA, SEAMS). He serves as member of the program committee of prestigious international conferences (e.g., ICSE, ASE, ICSA, ICST). He is in the steering committee of the International Workshop on Formal Approaches for Advanced Computing Systems (FAACS) co-located with the European Conference on Software Architecture (ECSA). He regularly organizes the technical track on Software Architecture (SA-TTA) of the SIGAPP/ACM Symposium on Applied Computing (SAC). He has been working in the organizing committee of relevant international conferences in the area of software engineering, such as ICSA, ECSA, SEAMS, QUATIC, and PROFES.
Interests
- Software Engineering
- Software verification
- Automated testing
Education
-
PhD in Computer Science, 2015
University of Milan, Italy
-
MSc in Computer Science, 2012
University of Milan, Italy
-
BSc in Computer Science, 2009
University of Milan, Italy
