[AI-LAB] Artificial Intelligence Laboratory - Directory : Lorenzo Platania : Bio

I was born in Genoa in 1979.

In Novembers 2005 I got my master's degree (Laurea) in Computer Engineering (grade: 110/110 summa cum laude) at Artificial Intelligence Laboratory, DIST, University of Genova with a thesis (in italian) about using Satisfiability Modulo Theory (SMT) in Bounded Model Checking of sequential programs; my advisor was Prof. Alessandro Armando.

In January 2006 I started my PhD at at Artificial Intelligence Laboratory, DIST, University of Genova. I am currently involved in a project called EUREKA (Software Model Checking of C programs), working on Satisfiability Modulo Theories (SMT) based Bounded Model Checking of software. I am supervised by Prof. Alessandro Armando

Personal webpage	http://www.ai-lab.it/lorenzo
Office address	Villa Bonino, 3rd floor
	Viale F. Causa, 13
	16145 Genova, Italy
Phone	+39 010 353 2344
Fax	+39 010 353 2948
E-mail	lorenzo dot platania at ai-lab dot it

AI-Lab