Below you find recent courses, internship and theses proposals. Further down you find older courses.

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

I am looking for: 
1 PhD student (at UniTN) on PL & security 
1 PhD student (at CISPA) on PL & security 
1 student researcher 

Recent:2024-25

• [First semester] Advanced Programming (EN)
• [First semester] Programming Language Semantics (EN)
• [First semester] Teaching Programming Languages (IT)
• [Secondo semestre] Programmazione 2 (IT)

Internship & PhD Visits

Bachelor students can work with me via the 9CFU internship. Master students can work with me either as their internship (9CFU), with a project (6CFU), or with a research project (12CFU). Look here for possible projects.
PhD students who want to visit me should drop me a mail first.

Gli studenti triennali possono lavorare con me tramite il tirocinio da 9CFU.
Gli studenti di magistrale possono lavorare con me tramite il tirocinio (9CFU), il progetto (6CFU) o il progetto di ricerca (12CFU). Guardate qui se siete interessati.
I dottorandi interessati a visitare l’UniTN e lavorare con me mi contattino via mail.

Theses

Master and Bachelor theses are available upon request, look here in case you are interested in a thesis on programming languages and security. If you want to suggest a specific thesis topic, please mail me. Students wishing to do a thesis with me should follow these guidelines.

Sono disponibili tesi di master e di triennale su temi di: linguaggi di programmazione e sicurezza, programmazione.
Guardate qui se siete interessati.
Se volete suggerire un argomento voi, mandatemi una mail. Gli studenti che fanno una tesi con me devono seguire queste linee guida.

Old Teaching

2023-24

• [First semester] Advanced Programming (EN)
• [First semester] Programming Language Semantics (EN)
• [Secondo semestre] Programmazione 2 (IT)

2022-23

• [First semester] Advanced Programming (EN)
• [First semester] Programming Language Semantics (EN)
• [Secondo semestre] Programmazione 2 (IT)

2021-22

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

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.