Tuukka Korhonen

I am a computer science MSc student in University of Helsinki. I am currently working on my master's thesis in the Constraint Reasoning and Optimization group. My research has focused on practical algorithms for finding optimal tree decompositions.

Research

Publications

Preprints

Software

  • Triangulator - Implementation of the Bouchitté-Todinca Algorithm for finding optimal triangulations.
  • MaxPre - MaxSAT preprocessor.

Presentations Given

Competitions

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

Other

Education

  • Bachelor of Science, Computer Science, University of Helsinki, 9/2019. BSc thesis (in finnish)

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

Misc links

Updated on 5 Mar 2020