Teaching Activity

I am currently teaching the following courses:

  • Discrete structures
  • Formal languages and computability
  • Internet Security – Web security module

You can find the links to the course homepages on the Ca’ Foscari website.

Supervised Theses

I enjoy working with motivated students with a strong interest in formal methods and/or software security. If you think you are interested in related topics and would like to work with me, just write me to book an appointment. You can find an accessible introduction to my main research interests here.