Summary
Leonardo Montecchi is an Associate Professor at NTNU with 15 years of experience researching dependability and software engineering for safety- and mission-critical systems. He specializes in model-driven engineering, formal and probabilistic modeling, and automated quantitative performability analysis, translating high-level designs (UML, AADL) into state-based dependability models. His academic path spans a PhD and postdoc at the University of Florence—where he contributed to EU projects like CHESS and developed Eclipse tooling—and faculty roles at UNICAMP in Brazil. He combines rigorous formal methods with practical V&V techniques (FMEA/FMECA, hazard analysis) and has collaborated with space and railway domains, reflecting strong applied impact. An open-source enthusiast, he co-maintains the luminance-hdr package for Debian, signaling a hands-on commitment to tooling beyond academia.
15 years of coding experience
8 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Systems, and Telecommunications, Doctor of Philosophy (Ph.D.), Computer Science, Systems, and Telecommunications at Università degli Studi di Firenze
Italian, English, Portuguese, Norwegian