I have had experience in most forms of teaching at the university level. I have been a teaching assistant, a thesis instructor and even a lecturer.
Personally I tend to enjoy supervising theses the most.

Formal education in pedagogy

Currently I have completed 10 credits in university pedagogy (the basic course).
In the future I aim to continue my studies in the subject.

Master’s Thesis

I have supervised and instructed the following master’s theses:

• Finding Optimal Tree Decompositions
  • The thesis is based (amongst others) on our paper in JEA and IJCAI
  • The thesis won the 2021 Pro-Gradu award from Tietojenkäsittelytieteen Seura
• Incomplete MaxSAT Solving by Linear Programming Relaxation and Rounding
• Preprocessing and Stochastic Local Search in Maximum Satisfiability
  • The thesis is based on our paper Preprocessing in Incomplete MaxSAT solving published at ECAI 2020

Bachelor’s Theses

I have supervised and instructed the following bachelor’s theses:

• Konfliktdriven Klausulinlärning för SAT-lösning (Conflict-driven clause learnign for SAT-solving) 
  • Accepted in December of 2020 with the grade 5/5
• Metoder för analys av rekursiva funktioner (Methods for analysing recursive functions)
  • Accepted in December of 2020 with the grade 4/5
• Utveckling och användning av algoritmer som undersöker grafer (The development and use of algorithms for exploring graphs) 
  • Accepted in December of 2020 with the grade 3/5
• Genomgång av stora grafer (The exploration of large graphs) 
  • Accepted in December of 2020 with the grade 4/5
• Samtidig lokalisering och kartläggning med datorseende (Simultaneous localisation and navigation via computer vision)
  • Accepted in December of 2020 with the grade 3/5
• En introduktion till SAFe och dess potentiella fördelar för företag (An introduction to SAFe and its potential benefits for companies
  • Accepted in December of 2020 with the grade 3/5
• Datasekretess i betalningssystem baserade på blockkedjeteknologi (Security in payment systems based on blockchain)
  • Accepted in December 2019 with the grade 5/5
• Detektion av programinvarianter för automatisk testgeneration. (Using invariants in order to automatically generate software tests)
  • Accepted in December 2017 with the grade 3/5
• Fast Fourier Transform
  • Accepted in December 2017 with the grade 5/5
• Virtualisering av x86-arkitektur (Virtualizing the x86-arcihtecture)
  • Accepted in May 2018 with the grade 4/5
• Mjukvaruutveckling och säkerhet för cyberfysiska system. (Software development and safety of cyberphysical systems)
  • Accepted in May 2018 with the grade 5/5
• Metoder för textklassificering med konvolutionsnätverk (Text classification using convolutional neural networks)
  • Accepted in May 2018 with the grade 5/5.
• Optimering av spelträdssökning med hjälp av statistiska modeller (The prodcut algorithm)
  • Accepted in May 2015 with the grade 5/5

Other teaching

• Seminar on Logic-Enabled Verified and Explainable AI, autumn 2021
• Course Assistant: Bachelors courses in Mathematics, spring 2021.
  • More specifically: the courses ordinary differential equation 1 and 2.
• Course Assistant: Bachelors courses in Mathematics, spring 2020.
  • More specifically, the courses probability 1 and measure theory 1. I was in charge of grading the students exercises and preparing solutions to them, for the first time remotely (due to the Covid 19 pandemic)
• Course Assistant, Masters level courses in Mathematics and Computer Science, The Department of Mathematics and Statistis and The Department of Computer Science, Spring 2015
  • Courses: Real Analysis 1, Satisfiability, Boolean Modelling and Computation
• Course Assistant, Complementary Education for Mathematics Teachers, Gymnasiet Svenska Normallyceum, Centre for Lifelong Learning at Åbo Akademi University
  • Courses: Basic Course in Analysis, Basic Course in Probability, Analysis 1 and Multivariate Analysis.
  • The Principal Lecturer of the program (during the time I worked on it): Dr. Mikael Kurula
  • Courses took place during 2013 and 2014.
• Course Assistant, Bachelor level courses in Mathematics, The Department of Mathematics and Statistics, 2011 -2012.
  • Courses: Differential Equations, Basic Calculus, Linear Algebra, Basic Probability, Logic and Algebra
  • Course Lecturer, Introduction to Discrete Mathematics, The Department of Mathematics and Statistics, The University of Helsinki, 2011.