Curriculum vitae
(Last update: January 31,
2008)
General Information, Academic Information, Teaching Activities.
Birthday: August 29,
1977, Legnago - Verona;
Address: Dipartimento di
Informatica - Ca' Vignal 2, Strada le Grazie 15, 37134 Verona ;
Office Phone: +39 045 802 7089 ;
Mobile phone: +39 320 4352533; Fax: +39 045 802 7068;
Academic information
April 16 - April 27,,
2007: Period at the Department of Computing and Information
Science, Kansas State University for research activities.
April 23 - May 8,
2006: Period at the Department of Computing and Information
Science, Kansas State University for research activities.
March 1, 2006: Hired
as Assistant Professor at the Computer Science Departement,
University of Verona;
October 13, 2005:
Best Italian Ph.D. thesis in Theoretical Computer Science of 2005 awarded by the Italian EATCS.
April 15 - September 30,
2005: Full time position in the Department of
Computing and Information Sciences. The position is sponsored by the
programming-language security research team in the Department of Computing and Information
Sciences, Kansas State University;
March 31st, 2005: PhD
thesis defence. Commission composed by Prof. Andrea Masini,
Prof. Giorgio Levi and Prof. Bruno Siciliano. Thesis reviewed by
Prof. Patrick Cousot and Prof. Chris Hankin;
From January 2002 to December 2004 I've been
PhD student at the University of Verona,
Dipartimento di Informatica;
Organizing Chair of
the first International Workshop on Programming Language
Interference and Dependence (PLID'04);
Member of the
organizing commettee of LOPSTR+PEPM+PPDP+SAS 2004 (SAS'04)
May 6 - July 5, 2002,
Paris, France: Period at the Laboratoire d'informatique de l' Ecole
polytechnique (LIX)
in Paris, for research activities for my PhD. The work
is in the European Project "Validation of critical software by static
analysis and abstract testing", IST-1999-20527 (DAEDALUS)
coordinated by
Prof. Patrick Cousot and by Dr. Radhia Cousot, on validation of software
components embedded in future generation critical concurrent systems by
exhaustive semantic-based static analysis and abstract testing methods based
on abstract interpretation;
July 25, 2001:
Computer Science Laurea degree at the University of
Verona. Valutation: 110/110 cum laude with a special mention for the
particular curriculum, for the obtained results and for having reached
the graduation in the first possible session; Thesis for Laurea degree:
Costruzione
sistematica di semantiche mediante interpretazione astratta (Here
you find an abstract of it). Advisor: Prof. Roberto Giacobazzi;
From 1997 to 2001:
Annual scholarship "Giacomo Frizzo" from the municipality of Verona;
July 21 - August 15, 1997,
Aberystwyth, Wales, United Kingdom: Scholarship for one month English language
course in the
University of Wales;
July 20, 1996: High school
degree at LSS Leonardo da Vinci,
Cerea - Verona. Valutation: 60/60;
Teaching Activities
A.A 2009/2010: Sicurezza dei Sistemi
(Laurea Magistrale);
A.A 2008/2009: Complessita'
(Laurea Specialistica);
A.A 2007/2008: Complessita'
(Laurea Specialistica);
A.A 2006/2007:
Laboratorio di Algoritmi (Informatica Multimediale);
A.A 2006/2007:
Laboratorio di Algoritmi (Informatica);
A.A 2006/2007: Modulo nel corso di Protocolli per la Sicurezza (Master);
A.A 2006/2007: Complessita'
(Laurea Specialistica);
A.A 2005/2006: Laboratorio di Algoritmi (Informatica Multimediale);
A.A 2005/2006: Laboratorio di Algoritmi (Informatica);
A.A 2005/2006: Laboratorio di Programmazione (Sezione A, Informatica [A-P]);
A.A 2003/2004:
Teaching Assistant in Programmazione;
A.A 2002/2003:
Tutor in Laboratorio di Algoritmi
e strutture dati;
A.A 2001/2002, A.A
2002/2003, A.A. 2003/2004, A.A. 2004/2005, A.A. 2005/2006:
Teaching Assistant in Fondamenti dell'Informatica;
2001: Nominated
"Cultore della materia" of
Fondamenti dell'Informatica;
Click here to return to my Home Page.