Jeremias Berg has been awarded the Outstanding Doctoral Dissertation Award of the University of Helsinki Doctoral School in Natural Sciences 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.