Teaching
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)