Teaching
2022–2023
- Supervisions: Discrete Mathematics (Michaelmas term)
2021–2022
Relating Structure to Power: An Invitation to Game Comonads (Summer course)
Supervisions: Denotational Semantics (Michaelmas term)
2020–2021
Supervisions: Complexity Theory (Easter term)
Supervisions: Denotational Semantics (Michaelmas term)
2017–2018
Lectures: Data Structures and Algorithms (Spring term)
Exercise classes: Functional Programming (Autumn term)
2016–2017
- Exercise classes: Models of Computation (Spring term)
2015–2016
Exercise classes: Models of Computation (Spring term)
Exercise classes: Functional Programming (Autumn term)
2014–2015
- Exercise classes: Functional Programming (Autumn term)
2013–2014
- Cvičení: Lineární algebra I (Zimní semestr)