Teaching
If you’re looking for a topic for a student project to do with me, I made a little list of potential projects. If you have an idea for a different project that is in the spirit of my suggestions, do reach out to me. I’m sure we can figure something out.
2024–2025
- An Invitation to Game Comonads (Summer course)
2023–2024
Lectures: Finite Model Theory (Summer term)
Seminar: Programming Paradigms (Winter term)
2022–2023
Supervisions: Discrete Mathematics (Michaelmas term)
Supervisions: Denotational Semantics (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)