I am an assistant professor of computer science (with a tenure track) at the Department of Information Engineering of the University of Florence and a member of the Software Science and Technology 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 Foundations of Computer Programming at the School of Engineering of the University of Florence (in the Bachelor Degree in Electronic and Telecommunication Engineering).

QEST 2017 (Int. Conference on Quantitative Evaluation of SysTems)
EPEW 2017 (European Performance Engineering Workshop)
SERENE 2017 (Int. Workshop on Software Engineering for Resilient Systems)
WATERS 2017 (Int. Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems)
FORTRESS 2017 (Int. Workshop on Formal Techniques for Real-Time Systems)


   Dipartimento di Ingegneria dell'Informazione
via di Santa Marta, 3 - 50139 Firenze (Italy)
 
 
(+39) 055 2758519