Avatar

Matteo Camilli

Research fellow, Software Engineering

Free University of Bozen-Bolzano, Italy

Biography

Matteo received the PhD degree in Computer Science from the University of Milan in 2015. His dissertation focused on the combination of advanced abstraction techniques and big data approaches to tackle the state explosion problem in formal verification. His current research activity focuses on Formal Methods and Software Engineering. He is especially interested in: formal verification; model-based testing techniques; uncertainty quantification; integrated methods and tools to improve dependability of distributed, service-based, autonomous, cyber-physical, and AI-based system. He publishes papers in international journals and in proceedings of international conferences. He serves as member of the program committee of international conferences.

Interests

  • Software Engineering
  • Formal Methods
  • Model-based testing
  • Uncertainty Quantification

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

 
 
 
 
 

Research Fellow (RTDA)

Free University of Bozen-Bolzano

Oct 2019 – Present Italy

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

Teaching:

  • Systems Engineering
  • Verification and Reliability for Dependable Systems
 
 
 
 
 

Postdoc. Research Assistant (AR)

University of Milan

Sep 2016 – Sep 2019 Italy

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

Teaching:

  • Software Engineering
  • Software Design
 
 
 
 
 

Postdoc. Research Assistant (AR)

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

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).

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.

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).

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).

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.

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).

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).

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.

Teaching

Model-based testing under uncertainty

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

Topics:

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

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

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

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)

Contact

  • +39 0471 016179
  • Piazza Domenicani, Bolzano, 39100, Italy
  • Office POS 1.13 on Floor 1
  • Tuesday 10:00 to 12:00
  • DM Me