I am an Assistant Professor within the SysMA research unit, as well as a member of the European Project QUANTICOL. Before that, I was a Senior Research Assistant at the School of Electronics and Computer Science of Southampton University, United Kingdom, and a Teaching Assistant at Leicester University, United Kingdom.
I received my PhD in Computer Science and Engineering, as well as the "Doctoral Europeaus" certification from IMT School for Advanced Studies Lucca, Italy, in 2013. I graduated in Computer Science at the University of Pisa, Italy.
I am interested in the development of scalable techniques for the formal qualitative and quantitative system analysis, including state space reduction and approximation. Currently, I am investigating analysis techniques for languages provided with formal semantics based on ordinary differential equations (ODEs) or continuous time Markov chains (CTMC). These include chemical reaction networks, stochastic process algebras, and Petri nets.
I am interested in applying my research in practice, and hence I provided tool support for most of my contributions. An example is ERODE
, a fully-featured tool for the Evaluation and Reduction of ODEs, which obtained the POPL'16 Artifact Evaluation Certificate
, and will be presented at TACAS'17
Furthermore, I am also investigating statistical analysis techniques, and I developed the Statistical Model Checker MultiVeStA
, which allows to easily enrich existing discrete-event simulators with distributed statistical analysis capabilities.