supervision

list of all of the students I have or currently am supervising

PhD Students

I am currently supervising two PhD students:

  • Christoph Jabs who is doing his PhD on declarative approaches to multi-objective optimization problems.
  • Hannes Ihalainen who is doing his PhD on declarative approaches to single-objective optimization.
  • Antton Kasslin who is doing his PhD on optimization modulo theories.

Master’s Theses

At the University of Helsinki, a master’s thesis corresponds to 30 ECTS credits of work.

In total 9 master’s theses supervised.

2023

  2. Incomplete Pseudo-Boolean Optimization by Local Search Using a Decision Oracle
    Olli Warro, master's thesis,
    University of Helsinki , 2023,
    Full Thesis
  3. Encoding Maximum Constraint Satisfaction as Maximum Satisfiability
    Eetu Ikonen, master's thesis,
    University of Helsinki , 2023,
    Full Thesis

2022

  1. Refined Core Relaxations for Core-Guided Maximum Satisfiability Algorithms
    Hannes Ihalainen, master's thesis,
    University of Helsinki , 2022,
    Related Publications Full Thesis
  2. A Maximum Satisfiability Based Approach to Bi-Objective Boolean Optimization
    Christoph Jabs, master's thesis,
    University of Helsinki , 2022,
    Related Publications Full Thesis
  3. Pseudo-Boolean Optimization by Implicit Hitting Sets
    Pavel Smirnov, master's thesis,
    University of Helsinki , 2022,
    Related Publications Full Thesis

2020

  1. Finding Optimal Tree Decompositions
    Tuukka Korhonen, master's thesis,
    University of Helsinki , 2020,
    thesis won the 2021 Pro-Gradu award from Tietojenkäsittelytieteen Seura (https://tkts.fi/)
    Related Publications Full Thesis
  2. Incomplete MaxSAT Solving by Linear Programming Relaxation and Rounding
    Esa Kemppainen, master's thesis,
    University of Helsinki , 2020,
    Full Thesis
  3. Preprocessing and Stochastic Local Search in Maximum Satisfiability
    Marcus Leivo, master's thesis,
    University of Helsinki , 2020,
    Related Publications Full Thesis

Bachelor’s Theses

At the University of Helsinki, a bachelor’s thesis corresponds to 30 ECTS credits of work. The thesis is meant to be completed at the end of ones studies.

In total 25 bachelor’s theses supervised.

2024

  1. Genetic Algorithms and Simulated Annealing for the Traveling Salesman Problem
    Elsa Ryynänen, bachelor's thesis,
    University of Helsinki , 2024,

2023

  1. Comparing Monolithic- and Microservice Architecture through the lens of Quality Attributes
    Alexander Engelhart, bachelor's thesis,
    University of Helsinki , 2023,
  2. Säkerhetsbrister i webapplikationer som använder OpenID Connect
    Potential Security Weaknesses in the OpenID Connect Protocol
    Oskar Gustafsson, bachelor's thesis,
    University of Helsinki , 2023,

2022

  1. Katsaus ohjelmistotuotannon menetelmien vaikutuksiin
    An Overview of the Effects of Software Engineering Methods
    Katri Rytkönen, bachelor's thesis,
    University of Helsinki , 2022,
  2. Jatkuvan Integraation Käyttö Osana Ohjelmiston Laadunvarmistusta
    The Use of Continuous Integration in Software Quality Assurance
    Ville Halonen, bachelor's thesis,
    University of Helsinki , 2022,
  3. LM-GM mallin hyödyllisyys virtuaalitodellisuushyötypelien suunnittelussa
    The LM-GM model in designing VR games
    Valkonen Tomas, bachelor's thesis,
    University of Helsinki , 2022,
  4. Digitaalisen kaksosen tulevaisuuden kehitysnäkymät
    Potential future developments of digital twins
    Veikko Suhonen, bachelor's thesis,
    University of Helsinki , 2022,
  5. Motverkande av partiskhet i maskininlärningsmodeller
    Counteracting bias in machine learning models
    Anton Taleiko, bachelor's thesis,
    University of Helsinki , 2022,
  6. Energieffektiva arkitekturer för djupa neuronnät
    Energy efficient architectures for deep neural networks
    Jam Rundt, bachelor's thesis,
    University of Helsinki , 2022,

2021

  1. Bildigenkänning med konvolutionella neuronnätverk
    Image Recognition with Convolutional Neural Networks
    Robert Pakkanen, bachelor's thesis,
    University of Helsinki , 2021,
  2. Alternativ till ”Proof of Work” för kryptovalutor
    Alternatives to Proof of Work for Cryptocurrencies
    Thomas Svartbäck, bachelor's thesis,
    University of Helsinki , 2021,
  3. Behandling av massiva dataströmmar
    Computation over large data streams
    Hugo Holmqvist, bachelor's thesis,
    University of Helsinki , 2021,

2020

  1. Konfliktdriven Klausulinlärning för SAT-lösning
    Conflict-driven clause learning for SAT-solving
    Andréa Eriksson, bachelor's thesis,
    University of Helsinki , 2020,
  2. Metoder för analys av rekursiva funktioner
    Methods for analysing recursive functions
    Saska Dönges, bachelor's thesis,
    University of Helsinki , 2020,
  3. Utveckling och användning av algoritmer som undersöker grafer
    The development and use of algorithms for exploring graphs
    Markus Andersson, bachelor's thesis,
    University of Helsinki , 2020,
  4. Genomgång av stora grafer
    The exploration of large graphs
    Michael Aminoff, bachelor's thesis,
    University of Helsinki , 2020,
  5. Samtidig lokalisering och kartläggning med datorseende
    Simultaneous localisation and navigation via computer vision
    Sebastian Sergelius, bachelor's thesis,
    University of Helsinki , 2020,
  6. En introduktion till SAFe och dess potentiella fördelar för företag
    An introduction to SAFe and its potential benefits for companies
    Patrik Henriksson, bachelor's thesis,
    University of Helsinki , 2020,

2019

  1. Datasekretess i betalningssystem baserade på blockkedjeteknologi
    Security in payment systems based on blockchain
    Philip Ehrnrooth, bachelor's thesis,
    University of Helsinki , 2019,

2018

  1. Virtualisering av x86-arkitektur
    Virtualizing the x86-arcihtecture
    ___, bachelor's thesis,
    University of Helsinki , 2018,
  2. Mjukvaruutveckling och säkerhet för cyberfysiska system
    Software development and safety of cyberphysical systems
    Maria Ilvonen, bachelor's thesis,
    University of Helsinki , 2018,
  3. Metoder för textklassificering med konvolutionsnätverk
    Text classification using convolutional neural networks
    Max Koppatz, bachelor's thesis,
    University of Helsinki , 2018,

2017

  1. Detektion av programinvarianter för automatisk testgeneration
    Use of programinvariants for automatic generation of software tests
    Walter Grönholm, bachelor's thesis,
    University of Helsinki , 2017,
  2. Fast Fourier Transform
    Miranda Kastemaa, bachelor's thesis,
    University of Helsinki , 2017,

2015

  1. Optimering av spelträdssökning med hjälp av statistiska modeller
    The probcut algorithm
    Max Sandberg, bachelor's thesis,
    University of Helsinki , 2015,