Master student supervision

I supervised the following Master students for their 18 ECTS Research Project and their 42 ECTS Master Project:

• Jeroen Rook (September 2019 - June 2021), co-supervised with prof. dr. Holger Hoos and dr. Siegfried Nijssen. We presented an extended abstract of his exploratory work at the International Workshop on Model Counting, co-located with SAT 2020 [pdf, slides]. We also presented an update of his work at the Workshop on Counting and Sampling, co-located with SAT 2021 [pdf, slides, video]. See also Jeroen’s Master thesis.
• Daniël Fokkinga. September 2018 - December 2019, co-supervised with Marie Anastacio, prof. dr. Holger Hoos and dr. Siegfried Nijssen. See the paper we presented at the Data Science meets Optimisation (DSO) workshop, co-located with IJCAI 2019, and Daniël’s Master thesis.