I am an assistant professor at Università dell'Insubria, Varese-Como (Italy), since January 2008.
I received my M.S. degree in Computer Science (2001) and my Ph.D. in Computer Science (2005) from Politecnico di Milano, Italy. I also received a M.S. degree in Electrical Engineering and Computer Science in 2001 from University of Illinois at Chicago. From March 2005 to December 2007, I worked as a Postdoctoral researcher at the Department of Electronic and Information of Politecnico di Milano.
My main research interests are formal methods, with emphasis on automatic verification techniques, such as model checking and requirements engineering. You can find my complete CV here.
Dipartimento di Scienze Teoriche e Applicate
Via Mazzini 5