At w4eg.de I provide email, hosting and other services for friends.
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:
Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo: Strengthening Gossip Protocols using Protocol-Dependent Knowledge, Journal of Applied Logics - IfCoLog Journal of Logics and their Applications, 2019. (PDF)
P. Erdös, R.L. Hemminger, D.A. Holton and B.D. McKay: On the chessmaster problem. Progress in Graph Theory, 1984. (PDF)
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.
Dominique Danco: How Many Oracle Calls Does It Take to Locate a Lightbulb? (UvA 2023) (Co-supervised with Luca Corolli.)
Daniel Miedema: Zero-suppression Decision Diagrams versus Binary Decision Diagrams on Dynamic Epistemic Logic Model Checking (RUG 2022) (Co-supervised with Rineke Verbrugge. See also https://github.com/dushiel/SMCDEL.)
Ingeborg van Keulen: Hiding Money Laundering with an Intelligent Multi-Agent System Simulation (RUG 2021) (Co-supervised with Steven Bosch. See also https://github.com/IngeborgvanKeulen/IMLMAS.)
Minke Verweij: Automated Modal Correspondence (2022) (Co-supervised with Gaëlle Fontaine. See also https://github.com/MinkeVerweij/ModalCorrespondence.)
Karin Brinksma: Automating Correspondence Checking in Modal Logic (2021)
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.
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.