I am an Assistant Professor in the Research Unit SysMA at IMT Institute for Advanced Studies Lucca, Italy, as well as a member of the European Project QUANTICOL.
Before that, I have been a Senior Research Assistant at the Department of Electronics and Computer Science of the Faculty of Physical Sciences and Engineering of the University of Southampton, UK, while in March 2013 I obtained the PhD degree in Computer Science and Engineering, as well as the "Doctoral Europeaus" certification at IMT School for Advanced Studies Lucca.
My research interests regard the formal qualitative and quantitative system analysis, including state space reduction and approximation techniques. Currently, I am working on scalable analysis techniques for Ordinary Differential Equations (ODEs) and formal languages provided with both CTMC and ODE semantics (including Chemical Reaction Networks and Stochastic Process Algebras). These techinques are collected in the tool ERODE
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.