2023-09-12

At the International Conference on Principles and Practice of Constraint Programming (CP 2023) in late August, the former PhD student Stephan Gocht in the MIAO group at the Department of Computer Science at LTH received the ACP Doctoral Research Award from the Association for Constraint Programming for his work on proof logging.

Not only that, but the close collaborator Ciaran McCreesh of the MIAO group received the ACP Early Career Researcher Award, among other things for our joint work on proof logging, and Ciaran and his PhD student Matthew McIlree got the CP 2023 best paper award for their work on proof logging for constraint programming solvers using VeriPB. So, all in all, a pretty good week for certifying combinatorial solvers…