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