Tuukka Korhonen

I am a computer science MSc student in University of Helsinki. I am currently working in the Constraint Reasoning and Optimization group. Recently, my research has focused on practical algorithms for exact solving of problems related to tree decompositions. Before that I worked on MaxSAT solving.

Research

Publications

Thesis

Software

  • SMS - Exact algorithm for computing treedepth.
  • Triangulator - Implementation of the Bouchitté-Todinca algorithm for finding optimal triangulations.
  • MaxPre - MaxSAT preprocessor.

Presentations Given

Competitions

  • 2nd place in PACE 2020 algorithm implementation competition, exact treedepth track.
  • 2nd place in PACE 2017 algorithm implementation competition, exact minimum fill-in track.

Reviewing

Other

Education

  • Master of Science, Computer Science, University of Helsinki, 7/2020.
  • Bachelor of Science, Computer Science, University of Helsinki, 9/2019.

Work experience

  • 6/2016-6/2017, 10/2017-5/2018, 2/2019-current. Research assistant in Constraint Reasoning and Optimization group in 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.

Misc links

Updated on 29 Sep 2020