Attention: this page is not maitained anymore click here to access my new page
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 in the area of modelling, analysis and simulation of networked embedded systems (wireless sensor networks in particular) and in the area of e-Government and Information Society.
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 design, analysis and control of complex networked systems, such as 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.