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