I am a postdoctoral researcher in the Laboratory of Test and Analysis (LTA) at the Department of Informatics, Systems and Communication (DISCo) of the University of Milano Bicocca, Italy. I joined Prof. Mauro Pezzè, and his team, working on software test and analysis.
From Apr 2009 to Dec 2010, I was a postdoctoral researcher in the School of Science and Technology at the University of Camerino, Italy, joining the Complex Systems(CoSy) and Unicam e-Gov (UEG) research groups. I worked with Prof. Flavio Corradini on modeling, analysis and simulation of networked embedded systems (wireless sensor networks in particular), and online public service engineering and management.
From Oct 2006 to Sep 2008, for totally nine months, I was a research associate in the Department of Computer Science at the State University of New York at Stony Brook (Stony Brook University), NY, USA, joining the Concurrency and Verification lab led by Prof. Scott A. Smolka and Prof. Radu Grosu. I worked on model-based design, analysis and control of complex dynamic systems, in particular excitable cell networks and mobile ad hoc networks.
In Jan 2009, I received a PhD in Information Science and Complex System from the School of Advanced Studies, University of Camerino. In Dec 2005 I got a MSc degree in Computer Science with full mark and honour at University of Camerino.