I am Associate Professor of Computer Science within the SysMA research unit of IMT Lucca, where I also serve as Director of the PhD track in Computer Science and Systems Engineering as well as Director's Delegate for Education. Prior to joining IMT Lucca I was 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.
Lately I have focused on two main streams of research:
The development of algorithms for the aggregation of dynamical systems. An up-to-date summary of my results is available as a overview paper presented in an invited tutorial at the 2018 Winter Simulation Conference.
Techniques for performance self-adaption of software systems using predictive analytical models. Recent results are overviewed in a recent tutorial at ICPE'19.
L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Symbolic Computation of Differential Equivalences, Theoretical Computer Science(invited article for special issue in honor of Maurice Nivat, extension of POPL'16 paper).