Other Websites

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: academia.edu, facebook, and ResearchGate.

Collaborations

I have co-authored articles with: 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:

Academic Service

I have been an organizer of the LIRa seminar in Amsterdam and 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, and AAMAS 2021.

Private Hosting

I also host the following websites: dominikwerner.net, eno-lied.de, galtung-institut.de, grafmusic.de, luciaebert.net, nadinetheiler.net, netzwerkbuero-marburg.de, radikate.org, transcend.org, and transitiontheater.net.

Software

I use Debian.

This website is made with Hakyll and elm.