Category Archives: teaching

MaxSAT tutorial at ECAI 2020

Tomorrow (4.9.2020 at 14:00 Helsinki Timezone) I will be giving a tutorial on MaxSAT at the ECAI 2020 conference together with Matti Järvisalo and Ruben Martins. The event is virtual and attendance is free, so any interested people should attend.

I am looking forward to the (new) experience of giving a tutorial, I am happy with the material and am sure we will be able to tech people about modern MaxSAT in an affective way.

Supervising Master’s Theses

This spring was the first time I co-supervised Master’s theses. In total three students got their theses accepted during June:

I’d like to congratulate all students on finishing their theses. Even if I had supervised Bachelor’s theses before, supervising Master’s level students was a new experience for me. I learned a lot and can only hope I could provide useful supervision for them as well.