Università  degli Studi di Udine

Education

• Since March 2008: PhD Student at University of Udine - Department of Mathematics and Computer Science. Research area: Temporal Logics
• October 2007: "Laurea specialistica" (Master degree) in Computer Science. University of Napoli "Federico II". Area: automatic verification of software (grade: 110/100 cum laude). The thesis concerned formalisation and development of an abstraction stategy for software model checking embedded in CEGAR loop
• January 2005: "Laurea triennale" (First Level Degree) in Computer Science. University of Napoli "Federico II". Area: 3-D skeletonization process of digital image (evaluation: 110/110)

Other info

• Member of Eureka Project (http://www.ai-lab.it/eureka)
• Three months life and work experience in London

Research area: temporal logics

Memer of Eureka Project (http://www.ai-lab.it/eureka) for developing a tool for automatic verification of software