Research profile
Formal methods, learning, and adaptive software-intensive systems
My research focuses on the design, analysis, and assurance of complex software-intensive and cyber-physical systems operating under uncertainty. I investigate how formal modeling and verification can be combined with learning-based techniques—including automata learning and AI-driven components—to support adaptability, explainability, and runtime decision-making. Application domains include human–machine teaming, robotics, and data-driven digital systems.
News
- 2026 Program Committee member of CAIN 2027 .
- 2026 Program Committee member of SEAMS 2027 .
-
2026
A. Casciani, F. Italia, L. Lestingi, M. Marinacci, A. Marrella, A. Matta
FIDES: A Neuro-Symbolic Conversational Tool for Faithful Production Process Intelligence.
Accepted for presentation at CAiSE 2026! -
2026
P. Benecchi, L. Cardone, M. Camilli, L. Lestingi, R. Mirandola.
Verify, Augment, Improve: Self-Adaptation Repair via Automated Knowledge Augmentation from Mistakes.
ACM SIGSOFT Distinguished Paper Award at SEAMS 2026! - 2026 Program Committee member of ASE 2026 .
-
2026
L. Baresi, I. Compagnucci, L. Lestingi, C. Trubiani.
Adaptive Toggling of Architectural Patterns for Federated Learning.
Accepted for presentation at SEAMS 2026! -
2026
J. Cámara, I. Gerostathopoulos, L. Lestingi, M. Loreti, H. Nakagawa, M. Sirjani, K. Tei.
Ubi-AAL: A Self-Adaptive Ubiquitous Computing System Problem Exemplar in Ambient Assisted Living.
Accepted for presentation at SEAMS 2026! -
2026
B. Guindani, M. Camilli, L. Lestingi, M. M. Bersani.
Agentic Generation of Structured Clinical Specifications for Digital Healthcare Services.
Accepted for presentation at ICSE 2026 - SEIS track!
Experience
2025 –
RTD-A (Fixed-Term Researcher)
Politecnico di Milano — DEIB, DeepSE group
2023 – 2025
Postdoctoral Researcher
Politecnico di Milano — DEIB
2019 – 2023
Ph.D. in Information Technology
Politecnico di Milano