Jeremias Berg has been awarded the University of Helsinki Doctoral Dissertation Award 2018 for his PhD thesis Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings. Berg defended the thesis, accepted with distinction, in May 2018. The thesis work was done in the Constraint Reasoning and Optimization group within the Doctoral Program in Computer Science, and was supervised by Associate Professor Matti Järvisalo and Professor Petri Myllymäki.
For more details, see the university's news item on the awards.