At I provide email, hosting and other services for friends.

My almost daily blog is and 211 steps is a photoblog from Marburg, Amsterdam and elsewhere.

You can also find me on mastodon, twitter, github, ORCID, the Mathematics Genealogy Project, and the dblp computer science bibliography.

I do not have profiles on the following platforms:, facebook, ResearchGate.


I have co-authored articles with (in alphabetical order): Johan van Benthem, Line van den Berg, Hans van Ditmarsch, Jan van Eijck, Ioannis Kokkinis, Marcin Korecki, Louwe B. Kuijer, Pere Pardo, Rahim Ramezanian, Rasoul Ramezanian, Kaile Su, Rineke Verbrugge, Jana Wagemaker and Yanjing Wang.

My Erdös number is 3, via these publications:


Below is a list of student projects I supervised. For most projects the resulting theses and source code are publicly available.

If you would like to do a (thesis) project under my supervision, please first have a look at the list below and my publications to get an idea for possible topics, then send me an email with your interests.

Master Projects

Bachelor Projects

Academic Service

I am an organizer of the LIRa seminar in Amsterdam.

Previously I was an organizer of the GroLog seminar in Groningen.

I have been a reviewer or PC member for TARK 2017, NASSLLI 2018 Student Session, AiML 2018, EUMAS 2018, AAMAS 2019, IJCAI 2019, AAMAS 2020, EUMAS 2020, IJCAI 2020, IJCAI 2021, and AAMAS 2021.

Private Hosting

I also host the following websites:,,,,,,,,, and


I use Debian.

This website is made with Hakyll and elm.