Short Bio
General information
✴ Birthday: August 29, 1977, Legnago - Verona;
✴ Associate Professor, Dept. of Computer Science, Univ. of Verona
Academic information
✴ PC-chair of NSAD 2016
✴ November 1, 2014: Associate Professor at the Computer Science Department, University of Verona;
✴ 2014: Period at the Center for Advanced Computer Studies - University of Lousiana, Lafayette for research activities.
✴ 2007: Period at the Department of Computing and Information Science, Kansas State University for research activities.
✴ 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 Department, 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 defense. 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 committee 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. Evaluation: 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. Evaluation: 60/60;