Marco Patrignani


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


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.