I am a senior consultant at AizoOn in Genoa, Italy (more details on my LinkedIn page). From April 2007 to March 2008 I was a post-doctoral researcher at the Artificial Intelligence Laboratory of the University of Genova, Italy. In year 2007 I got my Ph.D. in robotics at the same university, and before joining the AI-Lab I was a master's student at the University of Milano, Italy, where I graduated in Computer Science under the supervision of Prof. Silvio Ghilardi with a thesis about the combination of equational theories using rewriting systems. My research interests are in formal verification of software using Model Checking and Automated Reasoning techniques. In 2006 I spent three months at the Microsoft Research Labs in Cambridge (UK) as a research intern working on termination algorithms for software under the supervision of Dr. Byron Cook and Dr. Josh Berdine.