Teaching Activity

Starting from A.Y. 2019/2020, I am teaching the following courses:

  • Databases – Mod. 2
  • Formal languages and computability
  • Security – Mod. 2

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 computer security. If you think you are interested in related topics and would like to work with me, just write me to book an appointment.