Enrico Tronci

Enrico Tronci is a Full Professor in the Department of Computer Science at Università degli Studi di Roma La Sapienza, Italy. His research focuses on model checking, formal verification, and synthesis of cyber-physical systems, with applications to mission-critical and safety-critical domains such as space systems, smart grids, and healthcare. He leads the Model Checking Lab (MCLab) and has coordinated numerous national and international research projects funded by organizations including the European Community (EC), European Space Agency (ESA), and Italian Ministry of University and Research (MUR).

• Research Highlights:
  • Automatic control software synthesis from closed-loop specifications
  • Model checking algorithms for hybrid and stochastic systems
  • Technology transfer in sectors like energy, transportation, and aerospace
• Teaching:
  • Undergraduate: Software Engineering (Fall 2024)
  • Graduate: Automatic Verification of Intelligent Systems (Fall 2024), Verification and Validation of Intelligent Systems (Spring 2025)
• Scientific Awards:
  • Recipient of the IBM-Italia 1987 prize for best thesis in Artificial Intelligence
• Publications Trends:
  • 2024: Scaling up model checking for cyber-physical systems via HPC
  • 2023: Hormonal impact on behavior and fault-tolerant sensor deployments
  • 2021-2022: In silico clinical trials, smart grid management, and scenario enumeration
  • 2020: AI-guided diabetes patient modeling and forensic psychiatry applications
• Software Tools:
  • QKS (Quantized Kontrol Synthesizer)
  • NashMV (MAD systems verification)
  • CMurphi (Hybrid systems model checker)
  • FHP-Murphi (Probabilistic verification)
  • BSP (Boolean symbolic programming)