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.
Previous students
- Josef Hladil, master thesis title: Ultrafilter monads for general structures, 2024
Regular courses
- Semantics of Programming languages
- Programming Paradigms, winter term course (since 2023)
- Finite Model Theory, summer term course (2024)
Irregular courses
2024–2025
- An Invitation to Game Comonads (Summer course)
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)