Experience
Education
Bio
I received my Doctoral degree in Computer Science from the University of Salerno, Italy, in April 2006. Before joining the University of Southampton as a Lecturer, I have been a postdoc research associate in the Department of Computer Science at UIUC (Urbana, USA, May 2006-March 2010), and a CNRS postdoc research associate in the Modeling and Verification research group at LIAFA laboratory (Paris, France, April 2010-April 2011).