The annual MSc thesis award of the Finnish Society for Computer Science (Tietojenkäsittelytieteen seura in Finnish) for 2015-2016 is presented to MSc Paul Saikko for his thesis Re-implementing and Extending a Hybrid SAT-IP Approach to Maximum Satisfiability.
The official announcement (in Finnish) is available here.
The work was done under the supervision of Dr. Matti Järvisalo in the Constraint Reasoning and Optimization group at the Department of Computer Science, University of Helsinki. Today, Saikko continues in the group as a PhD student working on further improvements and extensions to Boolean optimization systems.
Congratulations, Paul!