In brief


Education and Working Experience

  • Jan 2010 – Dec 2012: PhD candidate in Computer Science at Università Ca’ Foscari Venezia under the supervision of prof. Michele Bugliesi
  • Mar 2013 – Feb 2015: post doc at Ca’ Foscari, working on web security and access control
  • Mar 2015 – May 2015: post doc at Saarland University, working on Android security
  • Aug 2015 – now: post doc at Ca’ Foscari, working on all of the above 🙂

Research Interests

My main research interests are formal methods for computer security. Topics of interest include:

  • web security
  • Android security
  • type systems
  • static analysis
  • access control
  • authorization policies

Check the present website for a list of publications on these topics.


You can write me at