# 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.

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