People

I am Full Professor of Computer Science at IMT Lucca, where I lead the SySMA research unit and the PhD track in Software Quality. I also serve Deputy Rector and Rector's Delegate for Education and Information Systems. 

I am co-founder of Valuematic, an IMT spin-off company that recently received seed funding (e.g., here, here, and here, Italian only) for developing new technologies for sustainable cloud computing.

Before joining IMT Lucca, I was an Associate Professor at the School of Electronics and Computer Science of Southampton University, United Kingdom, and Assistant Professor (Juniorprofessur) at the Institute for Informatics of the Ludwig-Maximilians University of Munich, Germany.

I received my Ph.D. in Computer Science from the School of Informatics of the University of Edinburgh, Scotland, in 2010. I graduated in Computer Engineering at the University of Catania. 

I am interested in the quantitative modeling and analysis of concurrent and distributed systems using mathematical tools such as stochastic processes (in particular Markov chains) and differential equations, as well as higher-level formalisms such as process algebra and queueing networks. A major general theme of my research is to develop effective techniques for the analysis of large-scale models where massive amounts of entities are involved.

Currently I focus on three main streams of research:

• Algorithms for the aggregation of dynamical systems.

• Techniques for performance self-adaption of software systems, in particular cloud applications.

• Inference methods for probabilistic programs.

Please see my personal home page for further details.