Matteo is currently an Associate Professor at Politecnico di Milano. His current research activity focuses on software engineering and software verification. He is especially interested in software verification, and testing, as well as integrated 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., TOSEM, TAAS, JSS, EMSE) and in proceedings of international conferences (e.g., ICSE, ISSRE, ICST, ICSA, SEAMS, ECSA, ICPE). He serves as member of the program committee of prestigious international conferences (e.g., ICSE, ICSA, ICST, ECSA). 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 ECSA, ICSA, SEAMS, QUATIC, and PROFES.