I am an associate professor at Kennesaw State University.
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, and from January 2008 to December 2014, I was Assistant Professor at the Department of Theoretical and Applied Sciences of Università dell'Insubria.
My main research interests are requirements engineering and formal methods, with emphasis on automatic verification techniques, such as model checking. You can find my complete CV here.
Department of oftware Engineering and Game Development
Kennesaw State University
1100 South Marietta Pkwy
Marietta, GA 30060
email: email@example.com, firstname.lastname@example.org