Teaching

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:

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.