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.
While I do like all forms of teaching, given the choice I tend to enjoy supervising theses the most.

Formal education in pedagogy

Currently I have completed 20 credits in university pedagogy (the basic course).

• YP 1: Oppiminen Yliopistossa (in Finnish), 12 Hours
• UP 2.1: Konstruktivt samordnad undervisning (in Swedish). 17 hours
• UP 2.2: Assessment of Learning and Giving Feedback (in English). 17 hours
• YP 3.1: Ohjaaminen Yliopistossa (in Finnish), 17 hours

I aim to continue my studies in the subject.

Science Education

As of 2020 I have been a member of the steering group of UniJunior, a cross-disciplinary project funded by Svenska Kulturfonden and Stiftelsen Brita Maria Renlunds minne and led by Professor Gunilla Holm.
The aim of the project is to increase the curiosity of children in elementary school towards science and research by organising a series of interdisciplinary workshops in Swedish once per month during the fall and spring of 2021-2022.

My part in the project consists of approving and giving feedback on the planned workshops and organising about one per term. This blog post talks a bit more about the first workshop that I was in charge of organising.

Master’s Thesis

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

• Refined Core Relaxations for Core-Guided Maximum Satisfiability Algorithms
  • Accepted in December 2022 with the grade 5(5
  • The thesis is based on our paper in CP 2021
• A Maximum Satisfiability Based Approach to Bi-Objective Boolean Optimization
  • Accepted in June 2022 with the grade 5/5
  • The thesis is based on our paper in SAT 2022.
• Pseudo-Boolean Optimization by Implicit Hitting Sets
  • Accepted in May 2022 with the grade 5/5
  • The thesis is based on our papers in SAT 2022 and CP 2021.
• Finding Optimal Tree Decompositions
  • Accepted in June 2020 with the grade 5/5
  • 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
  • Accepted in June 2020 with the grade 4/5
• Preprocessing and Stochastic Local Search in Maximum Satisfiability
  • Accepted in June 2020 with the grade 5/5
  • 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:

• Katsaus ohjelmistotuotannon menetelmien vaikutuksiin (An overview of the effects of software engineering methods)
  • Accepted in November 2022 with the grade 5/5
• Jatkuvan integraation käyttö osana ohjelmiston laadunvarmistusta (The use of continuous integration in software quality assurance)
  • Accepted in November 2022 with the grade 2/5
• LM-GM mallin hyödyllisyys virtuaalitodellisuushyötypelien suunnittelussa (The LM-GM model in designing virtual reality games)
  • Accepted in November 2022 with the grade 3/5
• Digitaalisen kaksosen tulevaisuuden kehitysnäkymät (Potential future development of the digital twin)
  • Accepted in November 2022 with the grade 4/5
• Motverkande av partiskhet i maskininlärningsmodeller (Counteracting bias in machine learning models)
  • Accepted in May of 2022 with the grade 4/5.
• Energieffektiva arkitekturer för djupa neuronnät (Energy efficient architectures for deep neural networks)
  • Accepted in May of 2022 with the grade 5/5
• Alternativ till ”Proof of Work” för kryptovalutor (Alternatives to Proof of Work for cryptocurrencies)
  • Accepted in December of 2021 with the grade 4/5
• Behandling av massiva dataströmmar (Computation over large data streams)
  • Accepted in December of 2021 with the grade 3/5
• Konfliktdriven Klausulinlärning för SAT-lösning (Conflict-driven clause learning 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
• 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.
• 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
• Optimering av spelträdssökning med hjälp av statistiska modeller (The probcut 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.