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. See malv.in/phdthesis.Master of Logic at the ILLC in Amsterdam.
Mathematics 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 jabber account is malvin@w4eg.de. Please use OMEMO.
You can also us this anonymous contact form.
Some of my software is available at github.com/m4lvin.
My ORCID is orcid.org/0000-0002-2498-5073.
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