At w4eg.de I provide email, hosting and other services for friends.
I have co-authored articles with (in alphabetical order): 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:
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.
- Ingeborg van Keulen: Hiding Money Laundering with an Intelligent Multi-Agent System Simulation (2021) (See also https://github.com/IngeborgvanKeulen/IMLMAS.)
Karin Brinksma: Automating Correspondence Checking in Modal Logic (2021)
I am an organizer of the LIRa seminar in Amsterdam.
Previously I was an organizer of the GroLog seminar in Groningen.
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.
I use Debian.