- May 2007 -- August 2010 post-doc fellow at the University of Verona, Dipartimento di Informatica.

- March 29th - April 7th  2009 visit at the  Department of Computer Science of  The University of Arizona, Tucson AZ, USA, for research activities.

- April 27th - May 17th  2008 visit at the  Department of Computer Science of  The University of Arizona, Tucson AZ, USA, for research activities.

- October 4th, 2007: the PhD Thesis is awarded a special mention from the IC-EATCS, the Italian Chapter of the European Association for Theoretical Computer Science

- May 18th - August 14th 2007 visit at the Compuer Science Department of The University of Wisconson, Madison WI, USA,  for research activities.

- May 16th 2007: PhD defense. PhD Thesis "Code Obfuscation and Malware Detection by Abstract Interpretation". Defense committee: Prof. Patrick Cousot,
  Prof. Maurizio Gabrielli and Prof. Massimo Merro. PhD thesis referees: Prof. Christian Collberg and Prof. Patrick Cousot.

- January - April 2007 post-doc position at the Department of Information and Communication Technology, University of Trento, Italy.

- From January 2004 to December 2006  I've been a PhD Student at the University of Verona, Dipartimento di Informatica.

- August 22nd, 2006: QinetiQ Award for research contributions with strong practical applications for the PhD Thesis (Doctoral Symposium - FM'06).

- January 23rd - April 22nd  2006 visit at the  Department of Computer Science of  The University of Arizona, Tucson AZ, USA, for research activities for my PhD.

- November 26th -- October 3rd 2005 visit at the Department of Computer Science, University of Gent, Belgium, for research activities for my PhD. 

- Member of the organizing committee of LOPSTR+PEPM+PPDP+SAS 2004 (SAS04)

- March 19th 2003: Computer Science Laurea degree at the University of Verona. Valuation: 110/110 cum laude.

  Thesis for Laurea degree:  "Completezza e Stabilita' in Abstract Model Cheking". Advisor: Prof. Roberto Giacobazzi.

- July 1996: High School degree at LSS G. Fracastoro, Verona.

- June 1995: High School degree at the Peekskill High School, (NewYork State, USA).

- Software Protection: Code Obfuscation [ DG05, DG05b, DM06, JCS08] and Software Watermarking [ SAS08 ]

- Malware Detection [ DCJD07  TOPLAS ]

- Program verification [ D04 ]

- Remote Software Trusting [ CDNCT07  SAC09  JASE]

- A.A. 2006/2007: Module in the course of Software Protection (Master)

- A.A. 2005/2006: Teaching assistant in Basic Mathematics.

- A.A. 2004/2005, 2006/2007, 2007/2008: Teaching assistant in Introduction to Computer Science.