Registered user since Sat 27 Feb 2021
Matteo earned his Ph.D. in Computer Science from the University of Milan in 2015, under the supervision of Prof. Carlo Bellettini. He is currently a Senior Assistant Professor at Politecnico di Milano in Italy. His research focuses on Software Engineering, with a particular interest in software verification, testing, and integrated methods and tools to enhance the dependability of autonomous, cyber-physical, service-based, and ML-enabled critical systems. Matteo regularly publishes in prestigious international journals such as TOSEM, TAAS, JSS, and EMSE, as well as in the proceedings of leading international conferences, including IEEE ISSRE, IEEE ICST, IEEE ICSA, SEAMS, ECSA, and ACM/SPEC ICPE. He serves as a Program Committee member for several international conferences and is on 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). Matteo organizes the technical track on Software Architecture (SA-TTA) for the SIGAPP/ACM Symposium on Applied Computing (SAC). He is also part of the organizing committee for relevant international conferences in software engineering, such as ECSA (2024), IEEE ICSA (2022, 2023, 2024), SEAMS (2023), QUATIC (2023), and PROFES (2023).
Contributions