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 |
+39 010 353 2948
| E-mail||lorenzo dot platania at ai-lab dot it |