Tuukka Korhonen



I am a second-year computer science PhD student at University of Bergen supervised by Fedor V. Fomin. I got my master's degree at University of Helsinki, where I did research in the Constraint Reasoning and Optimization group.

My current research interests are parameterized algorithms and complexity, in particular topics related to tree decompositions.



Preprints and manuscripts


MSc thesis


  • SharpSAT-TD - #SAT-solver that utilizes tree decompositions.
  • SMS - Exact algorithm for computing treedepth using small minimal separators.
  • Triangulator - Implementation of the Bouchitté-Todinca algorithm for exact computing of optimal triangulations with various notions of "optimal".
  • MaxPre - MaxSAT preprocessor.


  • VCLA International Student Awards 2021 Outstanding Master Thesis Award
  • Finnish Society for Computer Science Master's thesis award - the best computer science Master's thesis in Finland in the academic year 2019-2020
  • IPEC 2020 Best Paper Award and Best Student Paper Award


  • Model Counting Competition, in 2021 first place on tracks 1, 2, and 4, in 2022 first place on track 2 and second place on track 1.
  • 2nd place in PACE 2020, exact treedepth track.
  • 2nd place in PACE 2017, exact minimum fill-in track.


  • Conferences: ICALP 2023, STOC 2023, LATIN 2022, ESA 2022, MFCS 2022, WG 2022, SWAT 2022, ICALP 2022, STOC 2022, AAAI 2022, SAT 2021, ICALP 2021, AAAI 2021, MFCS 2020, SAT 2020
  • Journals: SIAM Journal on Computing, Journal of Combinatorial Theory Series B, SIAM Journal on Discrete Mathematics, Discrete Applied Mathematics, Theoretical Computer Science



  • Currently PhD student at University of Bergen, started in 9/2021.
  • Master of Science, Computer Science, University of Helsinki, 7/2020.
  • Bachelor of Science, Computer Science, University of Helsinki, 9/2019.


  • 8/2020-7/2021. Mandatory (non)-military service as research assistant at University of Helsinki.
  • 6/2016-6/2017, 10/2017-5/2018, 2/2019-7/2020. Research assistant in Constraint Reasoning and Optimization group at University of Helsinki.
  • 6/2018-12/2018. Software engineering intern at Google Zürich.
  • 7/2017-9/2017. Software developer intern at Jane Street London.

Programming contests

  • My profiles at online programming contest sites: Codeforces, Topcoder, Atcoder.
  • Results in ICPC: 13th in finals 2017, 14th in finals 2016, 2nd in NWERC 2016, 1st in NWERC 2015, 1st in NCPC 2016, 2nd in NCPC 2015.
  • Results in high school contests: bronze medal in IOI 2015, silver medal in BOI 2015, first place in Finnish olympiad in informatics 2015.
Updated on 6 March 2023