Teaching

Courses:

• Logic and Computation, block 3, 2024, Utrecht University

• Wiskunde voor KI (Mathematics for AI), block 2, 2023, 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

Supervision:

Doctoral students:

• Davide Quadrellaro (September 2019 - September 2023), Department of Mathematics and Statistics, University of Helsinki

• Aleksi Anttila (2021 - ongoing), ILLC, University of Amsterdam

• Matilda Häggblom (2022 - ongoing), Department of Mathematics and Statistics, University of Helsinki, co-supervisor

Master students:

• Matilda Häggblom (graduated in August 2022, University of Helsinki)

• Aleksi Anttila (graduated in March 2021, University of Amsterdam)