I was born in Firenze, Italy and moved to Brazil in 2017. Previously, I was a post-doc research fellow at the Resilient Computing Lab (RCL) reserarch group of the University of Firenze. I received the Ph.D. in Computer Science, Systems and Telecommunications at the same university, under the supervision of Prof. Andrea Bondavalli. 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.
IC-1, Room 14
Institute of Computing
Av. Albert Einstein, 1251
Cidade Universitária 13083-852 - Campinas, SP
© 2017-2020 Leonardo Montecchi