Tuukka Korhonen

kuva

Information

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.

Research

Publications

Preprints and manuscripts

Talks

MSc thesis

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.

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

Competitions

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

Reviewing

  • Conferences: 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 Discrete Mathematics, Discrete Applied Mathematics, Theoretical Computer Science

Other

Education

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

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.
Updated on 14 November 2022