Short Bio
- From April 2020 Associate Professor at the Dipartimento di Informatica, University of Verona.
- From December 2016 to April 2020, 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 Debray.
- 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"