Avatar

Matteo Camilli

Assistant Professor “Senior”, Software Engineering

DEIB, Politecnico di Milano, Italy

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 advanced abstraction techniques and big data approaches to tackle the state explosion problem in formal verification. Matteo is currently an Assistant Professor “Senior” at Politecnico di Milano (Italy). His current research activity focuses on Formal Methods and Software Engineering. 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., IEEE ISSRE, IEEE ICST, IEEE ICSA, SEAMS, ECSA, ACM/SPEC ICPE). He serves as member of the program committee of international conferences. 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 is part of the organizing committee of relevant international conferences in the field of software engineering, such as ECSA (2024) IEEE ICSA (2022, 2023, 2024), SEAMS (SEAMS 2023), QUATIC (2023), and PROFES (2023).

Interests

  • Software Engineering
  • Formal Methods
  • Model-based testing
  • Uncertainty and Risk mitigation

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

Experience

 
 
 
 
 

Assistant Professor Senior (RTDB)

Politecnico di Milano

Oct 2022 – Present Italy

Research group: DEpendable Evolvable Pervasive Software Engineering (DeepSE)

Teaching:

  • Software Engineering 2
  • Software Engineering for Automation
 
 
 
 
 

Assistant Professor Junior (RTDA)

Free University of Bozen-Bolzano

Oct 2019 – Sep 2022 Italy

Research group: Software and Systems Engineering, Supervisor: Prof. Barbara Russo

Teaching:

  • Systems Engineering
  • Verification and Reliability for Dependable Systems
 
 
 
 
 

Postdoc. Researcher

University of Milan

Sep 2016 – Sep 2019 Italy

Research group: Software Engineering, Supervisor: Prof. Carlo Bellettini

Teaching:

  • Software Engineering
  • Software Design
 
 
 
 
 

Postdoc. Researcher

University of Bergamo

Sep 2015 – Sep 2016 Italy

Research group: Software Engineering and Formal Methods, Supervisor: Prof. Angelo Gargantini

Teaching:

  • Distributed Systems
  • Development of Mobile Applications

Recent & Upcoming Events

JSS Special Issue - Guest editor

I’m the guest editor of the Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems in the journal Elsevier JSS (JCR IF 3.5).

Submission deadline: May 30, 2024

More info

ICSE 2025 - Program commettee

47th International Conference on Software Engineering (ICSE 2025).

Paper submission (1st cycle): Mar 22, 2024 (abstract Mar 15, 2024)
Paper submission (2nd cycle): Aug 2, 2024 (abstract Jul 26, 2024)

Call for papers Follow

ECSA 2024 - Organizing commettee

18th European Conference on Software Architecture (ECSA).

Paper submission: April 11, 2024

Call for papers Follow

IEEE ICSA 2024 - Organizing commettee

21th IEEE International Conference on Software Architecture (ICSA).

Paper submission: December 1, 2023 (abstract Nov 24, 2023)

Call for papers Follow

FAACS @ ICSA 2024 - Steering committee

8th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS) 2024. Co-located with the 21th IEEE International Conference on Software Architecture (ICSA).

Call for papers Follow

SA-TTA @ ACM SAC 2024 - Program co-chair

12th ACM SAC track on Software Architecture: Theory, Technology, and Applications. Track of the 38th ACM/SIGAPP Symposium on Applied Computing (SAC 2024).

Paper submission: September 15, 2023

Call for papers Follow

FAACS @ ECSA 2023 - Steering committee

7th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS) 2023. Co-located with the 17th European Conference on Software Architecture (ECSA 2023).

Call for papers Follow

QUATIC 2023 (V&V track) - Program co-chair

International Conference on the Quality of Information and Communications Technology (QUATIC). Verification and Validation track.

Paper submission: May 29, 2023

Call for papers

ICTSS 2023 - PC member

35th International Conference on Testing Software and Systems (IFIP-ICTSS).

Paper submission: May 20, 2023

Call for papers

SEAA 2023 - PC member

Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2023). Data and AI Driven Engineering track.

Paper submission: May 15, 2023

Call for papers

EASE 2023 - PC member

27th International Conference on Evaluation and Assessment in Software Engineering (EASE). Short papers track.

Short paper submission: March 13, 2023

Call for papers

ECSA 2023 - PC member

17th European Conference on Software Architecture (ECSA).

Paper submission: May 11, 2023 (Extended)

Call for papers

IEEE ICSA 2023 - Poster track chair

20th IEEE International Conference on Software Architecture (ICSA). Poster Track.

Paper submission: December 9, 2022 (abstract: December 5, 2022)

Call for papers Follow

SEAMS 2023 - Organizing committee

18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (co-located with ICSE 2023).

Paper submission: October 1, 2022

Call for papers Follow

SA-TTA @ ACM SAC 2023 - Program co-chair

11th ACM SAC track on Software Architecture: Theory, Technology, and Applications. Track of the 37th ACM/SIGAPP Symposium on Applied Computing (SAC 2023).

Paper submission: October 15, 2022 (extended)

Call for papers Follow

Springer Computing SI

I’m the guest editor of the Special Issue on Architecting Dependable Multi-paradigm Computing Systems in the journal Springer Computing (JCR IF 2.220).

Submission: May 31, 2022

More info

ECSA 2022 (Tools & Demos) - PC member

16th European Conference on Software Architecture (ECSA). Track: Tools & Demos.

Paper submission: July 1, 2022

Call for papers

FAACS @ ECSA 2022 - Steering committee

The 6th International Workshop on Formal Approaches for Advanced Computing Systems. Co-located with the 16th European Conference on Software Architecture (ECSA 2022).

Paper submission: July 1, 2022

Call for papers Follow

QUATIC 2022 - PC member

15th International Conference on the Quality of Information and Communications Technology. Track: Quality Aspects in Machine Learning, AI and Data Analytics.

Paper submission: April 8, 2022

Call for papers

AI4DevOps @ EUROMICRO SEAA 2022 - PC member

48th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) 2022. Technical track AI4DevOps: AI-Enabled Software Development and Operations.

Paper submission: April 1, 2022

Call for papers

SA-TTA @ ACM SAC 2022 - Program co-chair

10th ACM SAC track on Software Architecture: Theory, Technology, and Applications. Track of the 37th ACM/SIGAPP Symposium on Applied Computing (SAC 2022).

Special Issue: selected papers from the technical track will be considered for a Special Issue on “Architecting Dependable Multi-Paradigm Computing Systems” in the Journal Computing edited by Springer (JCR IF 2.220). More info HERE.

Call for papers Special Issue Follow

ISE School 2021 - Organizing committee

7th International Summer School on Software Engineering 2020. September 28-29, 2021 Bolzano, South-Tyrol, Italy. The main theme is “Global Software Engineering in the Age of COVID-19”.

The school is organized by the Software and Systems Engineering Research Group of the Free University of Bozen-Bolzano (Italy) and the Department of Computer Science of the University of Innsbruck (Austria).

Website Follow

FAACS @ ECSA 2021 - Program co-chair

5th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS) 2021. Special interest in AI-based systems. Co-located with the 15th European Conference on Software Architecture (ECSA 2021).

Call for papers Follow

AI4DevOps @ EUROMICRO SEAA 2021 - PC member

47th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) 2021. Technical track AI4DevOps: AI-Enabled Software Development and Operations.

Call for papers

SA-TTA @ ACM SAC 2021 - Program co-chair

9th ACM SAC track on Software Architecture: Theory, Technology, and Applications. Track of the 36th ACM/SIGAPP Symposium on Applied Computing (SAC 2021).

Call for papers Follow

FAACS @ ECSA 2020 - Program co-chair

4th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS) 2020. Co-located with the 14th European Conference on Software Architecture (ECSA 2020).

Call for papers Follow

ISE School 2020 - Organizing committee

6th International Summer School on Software Engineering 2020. July 1-3, 2020 Bolzano, South-Tyrol, Italy. The main theme is “AI and Continuous Software Engineering”.

The school is organized by the Software and Systems Engineering Research Group of the Free University of Bozen-Bolzano (Italy) and the Department of Computer Science of the University of Innsbruck (Austria). The school is intended both for researchers and practitioners.

Website Follow

SA-TTA @ ACM SAC 2020 - Program co-chair

8th ACM SAC track on Software Architecture: Theory, Technology, and Applications. Track of the 35th ACM/SIGAPP Symposium on Applied Computing (SAC 2020).

Call for papers Follow

FAACS @ ECSA 2019 - Program co-chair

3rd Int. Workshop on Formal Approaches for Advanced Computing Systems (FAACS) 2019. Co-located with the 13th European Conference on Software Architecture (ECSA 2019).

Call for papers Follow

Research

Recent activities

My main research interests cover the macro-areas of formal methods and software engineering with particular focus on:

  • Software requirements specification, analysis and verification;
  • Model-based testing;
  • Uncertainty quantification along the software lifecycle;
  • Design-time and runtime verification;
  • Formal modeling using Markov models;

and the application of methodologies, theories, approaches and techniques specific to the above research areas to complex, advanced, distributed, time-dependent, service-oriented, component-based and self-adaptive systems.

A list of my research papers can be obtained from different sources reported below.

Google scholar DBLP Bibliography Research Gate Scopus ORCiD

Teaching

Software Engineering II

Politecnico di Milano, Italy. Master in Computer Science and Engineering.

50 hours (teaching in English)

Topics:

  • Requirements Engineering
  • Design
  • Middleware
  • Verification & Validation
Material and schedule

Foundations of Research

Free University of Bozen-Bolzano, Italy. 2nd year PhD students.

12 hours module (teaching in English)

Topics:

  • Science communication
  • Products of research
  • Ethics
Schedule

Model-based testing under uncertainty

Gran Sasso Science Institute (GSSI), Italy. Formal methods at work, PhD course.

4 hours module (teaching in English)

Topics:

  • Markov Decision Process (MDP)
  • Model-based testing (MBT)
  • conformance relation
  • online MBT under uncertainty
  • test case generation strategies
Material and Schedule

Verification and Reliability for Dependable Systems

Free University of Bozen-Bolzano, Italy. Master in Software Engineering for Information Systems (LM-18).

Total lecturing hours: 20 (teaching in English)

Syllabus:

  • Dependable properties of systems
  • Software and software systems testing
  • Techniques for verification of software systems
  • Advances in test design and implementation
  • HW and SW reliability and their models
Course webpage

Systems Engineering

Free University of Bozen-Bolzano, Italy. Bachelor in Computer Science (L-31).

Total lecturing hours: 60 (teaching in English)

Syllabus:

  • Principles of system estimation
  • Tools and techniques for system estimating
  • Continuous development and DevOps
  • Continuous integration and deployment
  • Operations and monitoring
  • Performance engineering
Course webpage

Development of Data Products (a.y. 2019-2020)

Free University of Bozen-Bolzano, Italy. Master in Computational Data Science (LM-18).

Total lecturing hours: 60 (teaching in English)

Course webpage

Contact

  • Via Camillo Golgi, 42, Milano, 20133, Italy
  • Building 22, 3rd Floor
  • Send me an email
  • DM Me