Marco Patrignani


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 (at UniTN)

Recent:2023-24


Internship

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

2022-23

2021-22

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.