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.
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.