Bio

I obtained a MSc (1999) and a PhD (2004) in Computer Science at University of Torino while a member of 

the Performance Evaluation and System Validation group led by Prof. Gianfranco Balbo. I then served as postdoc researcher at the computer science department of University of Liverpool (2004-2005),  the University of Glasgow (2006-2007) employed on the DIAS-MC project. In 2008 I joined The Microsoft CoSBi research centre where I have worked on the application of temporal logic reasoning to the verification of biological models. In 2010 I spent one year at University of Paris-Est LACL employed on the CheckBound project and working under the supervision of Prof. Nihal Pekergin and Prof. Serge Haddad. In 2011 I was employed for 8 months at INRIA Rennes Atlantique working under the supervision of Eric Fabre. Since September 2011 I hold an assistant professor position at Ecole Centrale Paris. 

I served as PC member in the following venues: CMSB 2011, CMSB 2012, CMSB 2014, SPIN 2013, PEDISWESA 2010,PEDISWESA 2011, PEDISWESA 2012, WLN 2012.