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)
Seminar: Programming Paradigms (Winter term)
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)