Teaching at ETH Zurich

Advanced Systems Lab

Graduate course, 2020

Reliable and Interpretable Artificial Intelligence

Graduate Course, 2018, 2019

Blockchain Security Seminar

Graduate seminar, 2018, 2019

Research Topics in Software Engineering

Graduate seminar, 2016, 2017, 2019

How to Write Fast Numerical Code

Graduate course, 2015, 2016, 2017, 2019

Software Engineering Seminar

Undergraduate seminar, 2018

Program Analysis for System Security and Reliability

Graduate course, 2018

Algorithms and Data Structures

Undergraduate course, 2017

Program Analysis and Synthesis

Graduate course, 2015, 2016