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, Google Scholar and ResearchGate.


I have co-authored papers with: Johan van Benthem, Hans van Ditmarsch, Jan van Eijck, Louwe B. Kuijer, Pere Pardo, Kaile Su, Jana Wagemaker and Yanjing Wang.

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

Academic Service

While in Amsterdam, I was an organizer of the LIRa seminar.

I have been a reviewer for TARK 2017, NASSLLI 2018 Student Session, AiML 2018, EUMAS 2018 and AAMAS 2019.

Private Hosting

I also host the following websites: acteasy.eu, akkordeon-festival-marburg.de, dominikwerner.net, galtung-institut.de, grafmusic.de, kultur-und-kulturen.de, luciaebert.net, nadinetheiler.net, netzwerkbuero-marburg.de, radikate.org, transitiontheater.net


This website is made with Hakyll and elm.