About
Current
- PostDoc in the Multi-Agent Systems group in the Department of Artificial Intelligence at the Bernoulli Institute at the Faculty of Science and Engineering at the University of Groningen.
- Webmaster for Transcend International.
Past
PhD in Logic from the ILLC in Amsterdam. Part of the Joint Research Center for Logic with Tsinghua University in Beijing.
Supervisors: Jan van Eijck, Alexandru Baltag, Kaile Su.
Thesis: New Directions in Model Checking Dynamic Epistemic Logic, defended on 2018-06-13.Master of Logic at the ILLC in Amsterdam.
Thesis: Dynamic Epistemic Logic for Guessing Games and Cryptographic ProtocolsMathematics and Philosophy at Philipps-Universität Marburg.
Contact
Send me an email to malvin@w4eg.eu. Pleace encrypt your email using my PGP key 0xAD656F5CBA1C2E31.
My XMPP account is malvin@w4eg.de.
You can also use this anonymous contact form.
Send post to: Nijenborgh 9, 9747 AG Groningen, The Netherlands.
At w4eg.de I provide email, jabber and other services for friends. 211 steps is a photoblog from Marburg, Amsterdam and elsewhere. My daily blog is sorgenblogger.de.
Interests
Logic Puzzles
Dynamic Gossip
Epistemic Planning
Dynamic Epistemic Logic
Symbolic Model Checking
Craig Interpolation for Propositional Dynamic Logic
Cycling
- 2018: Trondheim → Nordkapp; Olderfjord → Gällivare; Kristinehamn → Trelleborg; Rostock → Berlin
- 2016: Strasbourg → Nancy → Aachen; Ljubljana → Dubrovnik → Athens; Bologna → Bolzano → Basel
- 2014: Amsterdam → Zürich → Andorra → Porto
- 2013: Via Claudia Augusta: Donauwörth → Venice → Ljublana
- 2012: Marburg → Kopenhagen → Oslo → Trondheim
- 2009: Marburg → Prague → Wittenberg
- 2008: Heidelberg → Taizé → Heidelberg