I graduated in Computer Science at the University of Pisa on July 2000 and took the PhD in Computer Science at the Department of Computer Science of the same university on April 2004. From October 2003 to October 2004 I had a post-doc position at Dipartimento di Scienze dell'Informazione, Alma Mater Studiorum, University of Bologna. From April 2005 to April 2011 I was Research Fellow at School of Science and Technology of the University of Camerino. From June 2011 to today I have been Assistant Professor of Computer Science at the School of Science and Technology of the University of Camerino (confirmed in role in 2014).
From 2002 to 2011 I participated, as member of research unit, to 4 national PRIN research projects, one national FIRB research project, one national Flagship project and 2 European projects.
My main research interests are in Formal Methods for the specification and verification of software/hardware systems: (timed) (probabilistic) automata, (timed) process algebras, model checking, static analysis, abstract interpretation. I am also interested in Systems Biology: modelling and simulation of biological systems, emergent behaviours, membrane computing, modelling of ecosystems, multi-agent systems. Recently, I have been active in the field of Topological Data Analysis.
I am co-author of more than 30 peer-reviewed publications of international relevance and of tenths of other poster, short contributions and technical reports. I participated, also as speaker, to several international workshops/conferences and I regularly do peer reviewing activity for several international workshops/conferences and important journals in the sector of Computer Science and Bioinformatics.