I am associate professor of computer science at the Department of Information Engineering of the University of Florence, where I am a member of the Software Technologies Lab. My research is focused on formal methods for model driven development of real-time software and on solution techniques for performance evaluation of concurrent non-Markovian models. As a part of my research, I have contributed to the implementation of the ORIS Tool.

I presently teach Software Engineering for Embedded Systems (Master Degrees in Computer Engineering, Electronic Engineering, Electric and Automation Engineering), Quantitative Evaluation of Stochastic Models (Masters Degrees in Computer Engineering and Artificial Intelligence), and Foundations of Computer Programming (Bachelor Degree in Electronic Engineering) at the School of Engineering of the University of Florence.