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, github, ORCID, the Mathematics Genealogy Project, and the dblp computer science bibliography.

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

I am a member of the Chaos Computer Club, the Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) and the Fietsersbond.


I have co-authored articles with (in alphabetical order): Johan van Benthem, Line van den Berg, Manfred Borzechowski, Hans van Ditmarsch, Jan van Eijck, Ioannis Kokkinis, Marcin Korecki, Louwe B. Kuijer, Daniel Miedema, 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 a co-organizer of the LIRa seminar and the ILLC colloquium in Amsterdam. During 2020 and 2021 I was a co-organizer of the GroLog seminar in Groningen. In April 2022 I co-organized Logic4Peace.

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, AAMAS 2021, and IJCAI-ECAI 2022.

Private Hosting

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


I use Debian and Emacs.

This website is made with Hakyll and elm.