Short Bio
  • From December 2016 Senior Assistant Professor RTDb at the Dipartimento di Informatica, University of Verona.
  • From March 2014 to November 2016 Junior Assistant Professor RTDa at the Dipartimento di Informatica, University of Verona.
  • March 2013 - February 2014 post-doc fellow at the Dipartimento di Informatica, University of Verona.
  • 2014 period at the Center of Advanced Computer Studies at the University of Louisiana, Lafayette, USA in the research group of Prof. Arun Lakhotia.
  • October 2011 - February 2013 post-doc fellow at the Dipartimento di Scienze dell'Informazione, University of Bologna.
  • June 2011 - September 2011 temporary research at INRIA.
  • September 2010 - March 2011 scholarship funded by the Sovvenzione Globale Spinner 2013 - Programma Operativo Regione Emilia Romagna. Research fieldL Service Oriented Architectures (SOA).
  • 2011 period at the Center of Advanced Computer Studies at the University of Louisiana, Lafayette, USA in the research group of Prof. Arun Lakhotia.
  • May 2007 - August 2010 post-doc fellow at the Dipartimento di Informatica, University of Verona.
  • 2009 period at the Department of Computer Science at the University of Arizona, Tucson, Arizona, USA in the research group of Prof. Saumya Debray.
  • 2008 period at the Department of Computer Science at the University of Arizona, Tucson, Arizona, USA in the research group of Prof. Saumya Debray.
  • October 2007 the PhD Theses is awarded a special mention from IC-EATCS, the Italian Chapter of the European Association for Theoretical Computer Science.
  • 2007 period at the Department of Computer Science at the University of Wisconsin, Madison, Wisconsin, USA in the research group of Prof. Somesh Jha.
  • May 16th 2007: PhD defense. PhD Thesis "Code Obfuscation and Malware Detection by Abstract Intepretation". Defense committee: Prof. Patrick Cousot, Prof. Maurizio Gabbrielli and Prof. Massimo Merro. PhD thesis referees: Prof. Christian Collberg and Prof. Patrick Cousot.
  • January 2007 - April 2007 post-doc position at the Department of Information and Communication Technology, University of Trento, Italy.
  • August 2006: QuinetiQ Award for research contributions with string practical applications for the PhD Thesis (Doctoral Symposium FM-06)
  • 2006 period at the Department of Computer Science at the University of Arizona, Tucson, Arizona, USA in the research group of Prof. Saumya Debraya.
  • 2005 period at the Department of Computer Science at the University of Ghent, Belgium.
  • January 2004 - December 2006: PhD student at the Dipartimento di Informatica, University of Verona.
  • March 2003: Computer Science Laurea degree at the Dipartimento di Informatica, University of Verona. Valuation 110/110 cum laude. Thesis titled "Completezza e stabilità in abstract model checking"