Lectures

I am currently teaching or have been teaching the following courses:

2024

Automated Program Verification (6 ECTS at MSc. level, UOL)

Proseminar Modellierung und Analyse Probabilistischer Systeme (3 ECTS at BSc. level, UOL)

02245 Program Verification (7.5 ECTS at MSc. level, DTU)

02141 Computer Science Modelling (10 ECTS at Bsc. level, together with Alberto Lluch Lafuente, DTU)

2023

02245 Program Verification (7.5 ECTS at MSc. level, DTU)

02141 Computer Science Modelling (10 ECTS at Bsc. level, together with Alberto Lluch Lafuente, DTU)

02913 Advanced Analysis Techniques (5 ECTS at Ph.D. level, together with Andrey Rivkin, DTU)

2022

02245 Program Verification (7.5 ECTS at MSc. level, DTU)

Rust Programming Concepts (5 ECTS 3-week course, DTU)

02141 Computer Science Modelling (10 ECTS at Bsc. level, together with Alberto Lluch Lafuente, DTU)

02913 Advanced Analysis Techniques (5 ECTS at Ph.D. level, together with Andrey Rivkin, DTU)

2021

Guest lecture on “Ownership and Lightweight Automated Verification” in Flemming Nielson's program analysis course, DTU

Program Verification (5 ECTS at MSc. level, together with Peter Müller, ETH Zürich)