I am an Associate Professor within the section Formal Methods for Safe and Secure Systems at DTU Compute, as well as a Visiting Professor at IMT School for Advanced Studies Lucca, Italy.
Before that I was an Assistant Professor within the SysMA research unit of IMT School for Advanced Studies Lucca, Italy, as well as a member of the European Project QUANTICOL. In 2013-2015 I have been 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 investigate several research lines of Computer Science, often regarding the development of languages, techniques and tools grounded on rigorous math for the modelling and analysis of dynamical systems in various domains. Dynamical systems across many branches of science and engineering can be described in terms of massively many entities, possibly interacting over large-scale networks. I am interested in the development of scalable techniques for the formal quantitative analysis of such systems, including simulation and model reduction. Currently, I am focusing on models interpreted as ordinary differential equations or Markov chains, including chemical reaction networks, stochastic process algebras/ Petri nets, and models of epidemics spreading, social networks, business processes, protein-interaction networks, and gene regulatory networks. I also consider qualitative abstractions of such systems, in the context of the recently granted Danish DFF RP1 project REDCUTO of which I am PI.
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 dynamical systems.
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 automated distributed statistical analysis capabilities.