Below you find recent courses and theses. Further down you find older courses.

Di seguito trovate i corsi recenti e le proposte di tesi. In fondo alla pagina ci sono i miei vecchi corsi.

Recent:2021-22

• [27-31 June] Doctoral Course on Secure Compilation at University of Trento
• [3, 5 May] Doctoral Course on Secure Compilation at University of Pisa
• [Secondo semestre] Programmazione 2 @ UniTN
• [Winter semester] Formal Methods in Security @ CISPA

Theses

Master and Bachelor theses are available upon request, contact me in case you are interested in a master thesis on programming languages and security.

Sono disponibili tesi di master e di triennale su temi di: linguaggi di programmazione e sicurezza, programmazione.
Mandate una mail se siete interessati.

Old Teaching

2020-21

• [07 June] Guest lecture on Secure Compilation [CS4280 Language Based Software Security @ TU Delft]
• [Spring quarter] cs 350 @ Stanford
• [Winter quarter] cs 358 @ Stanford

2019-20

• [Spring quarter] cs 350 @ @ Stanford
• [Winter quarter] cs 358 @ Stanford

2018-2019

• Summer semester: Secure Compilation Seminar ([ site ] @ UdS & CISPA)
• Spring quarter: Programming Language Foundations ([ cs358 ] @ Stanford)
• Winter quarter: Secure Compilation ([ cs350 ] @ Stanford)

2017-2018

• Summer semester: Secure Compilation Seminar (@UdS & CISPA);
• Cispa conference seminar topic supervisor (@ UdS & CISPA);
• Seminar lecture on Secure Compilation (@ UniBo)

Previous years

Old teaching material can be found at my previous homepage here.