Tuukka Korhonen

kuva

Information

I am a postdoc at BARC at the University of Copenhagen. I defended my PhD on 15th of May 2024 at the University of Bergen. My supervisor was Fedor V. Fomin. I got my master's degree at the University of Helsinki, where I did research in the Constraint Reasoning and Optimization group.

My research interests are in algorithms and graph theory. More precisely, I am interested in designing efficient graph algorithms, mostly from the viewpoint of parameterized algorithms, as well as in structural graph theory. My main focus is in the intersection of these two areas.

Research

Publications

Preprints and manuscripts

Theses

Talks

Software

  • 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.

Competitions

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

Reviewing

  • Conference PC member: STACS 2025, IPEC 2024
  • Conference reviewer: SODA 2025, ESA 2024, FOCS 2024, IWOCA 2024, ICALP 2024, SWAT 2024, SOCG 2024, STOC 2024, ALENEX 2024, SODA 2024, ISAAC 2023, COCOON 2023, ESA 2023, MFCS 2023, 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
  • Journal reviewer: SIAM Journal on Computing, Journal of Combinatorial Theory Series B, Combinatorica, SIAM Journal on Discrete Mathematics, Electronic Journal of Combinatorics, Journal of Graph Theory, Discrete Applied Mathematics, Theoretical Computer Science

Awards

  • 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

Open problems

An incomplete list of open problems that I like.

Other

Education

  • PhD, University of Bergen, 5/2024.
  • Master of Science, Computer Science, University of Helsinki, 7/2020.
  • Bachelor of Science, Computer Science, University of Helsinki, 9/2019.

Experience

  • 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.
Last updated on 25 September 2024