Links
At w4eg.de I provide email, hosting and other services for friends.
My almost daily blog is sorgenblogger.de 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: academia.edu, 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.
Collaborations
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)
R.E.L. Aldred, M.D. Atkinson, Hans van Ditmarsch, C.C. Handley, D.A. Holton, D.M.C. McCaughan: Permuting machines and priority queues. Theoretical Computer Science, 2005. (DOI, PDF)
P. Erdös, R.L. Hemminger, D.A. Holton and B.D. McKay: On the chessmaster problem. Progress in Graph Theory, 1984. (PDF)
Students
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
Xiaoshuang Yang: Sequent Calculus with Zippers (UvA 2024)
Wouter Smit: Axiomatising Protocol-Dependent Knowledge in Gossip (UvA 2024) (Co-supervised with Hans van Ditmarsch.)
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.)
Bachelor Projects
Noam Cohen: Transformations between PDL and C2CL (2024) (Co-supervised with Yde Venema. See also https://github.com/Noam-Coh3n/BScThesis.)
Timo Doherty: Efficient Information Dissemination: Formal Verification of Gossip Protocols Using Lean (2024) (See also https://github.com/Bobjeslol/Gossip-in-Lean.)
Sophie Kiesouw: Generating DEL Puzzles (2023) (See also https://github.com/sophie-bit/Puzzle-Generator.)
Minke Verweij: Automated Modal Correspondence (2022) (Co-supervised with Gaëlle Fontaine. See also https://github.com/MinkeVerweij/ModalCorrespondence.)
Salo Lacunes: Model Checking for Propositional Dynamic Logic with Sparse Matrices (2022) (See also https://github.com/GitgitGotgot/PDL-Model-Checking-Procedure.)
Paul Silm: Creating an Efficient Translation from PDDL to DEL (2021) (See also https://github.com/paulsilm/PDDLtoDEL.)
Flip Lijnzaad: Towards Automated Natural Deduction in Prolog (2021) (See also https://github.com/flijnzaad/natural-natural-deduction.)
Karin Brinksma: Automating Correspondence Checking in Modal Logic (2021)
Gabriel Soicher: Imperative implementations of a public announcement logic model checker (2021) (See also https://github.com/Lunrtick/palchecker.)
Tim Chandler: Tax or Trade? An agent-based model of CO2 certificate trading versus taxing (2021) (See also https://github.com/timjchandler/tax-or-trade.)
Ramon Meffert: Tools for Gossip (2021) (See also https://github.com/RamonMeffert/elm-gossip.)
Bekli Shtrepi: Can Binary Decision Diagrams predict concept complexity in human learning? (2021) (See also https://github.com/brewmaster011/bdd_generator.)
Maickel Hartlief: Making Model Checking Scalable: Implementing Succinct Kripke Models for Public Announcement Logic (2020) (See also https://github.com/Maickel-Hartlief/SucExpModelCheckers.)
Francesca Perin: Implementing Maehara’s method for star-free Propositional Dynamic Logic. (2019) (See also https://github.com/FrancescaPerin/BScProject.)
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, IJCAI-ECAI 2022, LOFT15, TARK 2023 and ECAI 2024.
Private Hosting
I also host the following websites: bunte-demokratie.eu, eno-lied.de, galtung-institut.de, grafmusic.de, nadinetheiler.net and transcend.org.