Past teaching activities
For those interested, here is a short overview of the courses I have taught (or helped to teach) in the past, but no longer teach.
- Co-lecturer for Processors (first-year Bachelor course): 2018–2021, Radboud University Nijmegen.
- Pro-seminar leader for Formal Language and Automata Theory (Master course): 2014, Innsbruck University.
- Teaching Assistant for Advanced Logic (Master course): 2008–2012, Free University Amsterdam.