Past teaching
at the University of Helsinki
- Introduction to Quantum Computation, Spring 2023
- Lineaarialgebra II, Spring 2023
- Johdatus logiikkaan 1, Fall 2022
- Johdatus logiikkaan 2, Fall 2022
- Lineaarialgebra II, Spring 2022
- Complexity theory, Spring 2022
- Introduction to continuous logic, Fall 2021
- Mathematical logic, Spring 2021
- Introduction to Quantum Computation, Fall 2020
- Topics in Quantum Computation, Fall 2020
- Mathematical logic, Spring 2020
- Complexity theory, Fall 2019
- Mathematical logic, Spring 2019
- Topologi
IB, Fall 2018
- Introduction to
Quantum Computation, Fall 2018
- Mathematical
logic, Spring 2018
- Complexity
theory, Fall 2017
- Matemaattinen
logiikka, Spring 2017
- Ramsey
Theory, Fall 2016
- Johdatus
logiikkaan 1, Spring 2016
- Johdatus
logiikkaan 2, Spring 2016
- Logic
toolbox for mainstream mathematicians, Fall 2015
- Introduction
to continuous logic, Fall 2015
- Logiikka
I, Spring 2015
- Logiikka
I, Spring 2014
- Logik
I, Spring 2013
- Algebra
II, Spring 2011
-
Malliteoria,
Autumn 2008