I joined the Department of Computer Science at NTNU in January 2022. Before, I spent 4.5 wonderful and intense years at the the Institute of Computing of the University of Campinas, in Brazil, working with the LASER research group. My education and Ph.D are from the University of Firenze, in Italy, which is also my home city. I started my journey in research around 2008 with the friends of the Resilient Computing Lab, who introduced me to the dependability area. Since then, I have participated to various National and International projects, and supervised students in different topics.
My expertise revolves around different aspect of the modeling of complex systems, including formal models, performability models, and model-driven engineering. I am mostly interested in safety-critical and mission-critical application domains (e.g., automotive, space, oil&gas) and System-of-Systems (SoS) architectures. Currently, my research interests focus on applying model-driven engineering techniques to support the development and V&V of resilient systems, with a particular focus on automating quantitative performability analysis, and on formalizing system development artifacts using domain-specific languages.
IT-bygget, Room 248
Department of Computer Science
Sem Sælands vei 7-9 7034 Trondheim
© 2017-2022 Leonardo Montecchi