# Teaching

I am currently teaching the following courses at TUDelft:

- Algorithms and data structures
- For computer science students
- For mathematics students
- For bridging students

- Seminar programming languages
- Software verification

## Old courses

In the past, I have taught the following courses:

- Introduction to Functional Programming (at Aarhus University)
- Type theory and Coq (at Radboud University)

## Lecture notes

- The Coq proof assistant for proving and programming

*TYPES summer school 2017 in Ohrid, Macedonia*