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 advanced abstraction techniques and big data approaches to tackle the state explosion problem in formal verification. Matteo is currently an Assistant Professor “Senior” at the Politecnico di Milano (Italy). His research activity focuses on Formal Methods and Software Engineering. He is especially interested in: software verification; model-based testing techniques; uncertainty quantification; integrated methods and tools to improve dependability of distributed, service-based, autonomous, cyber-physical, and AI-based systems.
He publishes papers in international journals and in proceedings of international conferences. He serves as member of the program committee of international conferences. He regularly organizes the International Workshop on Formal Approaches for Advanced Computing Systems (FAACS) co-located with the European Conference on Software Architecture (ECSA) and the technical track on Software Architecture (SA-TTA) of the SIGAPP/ACM Symposium on Applied Computing (SAC). He his part of the organizing committee of the IEEE International Conference on Software Architecture (ICSA 2022, ICSA 2023) and the Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2023).