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 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 2016 (International Conference on Quantitative Evaluation of SysTems)
FORMATS 2016 (International Conference on Formal Modelling and Analysis of Timed Systems)
EPEW 2016 (European Workshop on Performance Engineering)