I was honoured to receive an e-mail on Friday informing me that my PhD-thesis: Solving Optimization Problems via Maximum Satisfiablity: Encodings and Re-Encodings has been recognized with an outstanding doctoral dissertation award by the Doctoral School of Natural Sciences at the University of Helsinki. I thank the school for this honour and everyone involved in nominating my thesis.