Logics of dependence and independence, ESSLLI summer school, August 3-7, 2026, Prague, Czech Republic
Logic and Computation, block 3, 2024 onwards, Utrecht University
Wiskunde voor KI (Mathematics for AI), block 2, 2023 onwards, Utrecht University
Logics of dependence and independence, ESSLLI summer school, August 7-10, 2023, Ljubljana, Slovenia
(invited summer school course) Dependence logic and its proof-theoretic aspects, Nordic Logic Summer School, June 13-16, 2022, Bergen, Norway
Dependence Logic, Fall 2019 and Fall 2021, University of Helsinki
Formal Methods for Strategic Decision-making, Fall 2016, Delft University of Technology
Logical Complexity, Fall 2014, Utrecht University
Elements of Set Theory, Spring 2014, University of Helsinki
Algebra I, Spring 2013, University of Helsinki
Doctoral students:
Aleksi Anttila (January 2021 - April 2025), ILLC, University of Amsterdam
Matilda Häggblom (2022 - ongoing), Department of Mathematics and Statistics, University of Helsinki, co-supervisor
Davide Quadrellaro (September 2019 - September 2023), Department of Mathematics and Statistics, University of Helsinki
Master students:
Matilda Häggblom (graduated in August 2022, University of Helsinki)
Aleksi Anttila (graduated in March 2021, University of Amsterdam)