About
- Assistant professor at ILLC, University of Amsterdam.
Past
PostDoc in the MAS group in Artificial Intelligence at the Bernoulli Institute in Groningen.
PhD in Logic at ILLC in Amsterdam. Thesis: New Directions in Model Checking Dynamic Epistemic Logic (2018). Supervisors: Jan van Eijck, Alexandru Baltag, Kaile Su.
Master of Logic at ILLC in Amsterdam. Thesis: Dynamic Epistemic Logic for Guessing Games and Cryptographic Protocols (2014).
Mathematics and Philosophy at Philipps-Universität Marburg.
Contact
Send me an email to malvin@w4eg.eu.
My PGP key is 0xAD656F5CBA1C2E31.
For UvA-related matters, please write to b.r.m.gattinger@uva.nl.
Post: P.O. Box 94242, 1090 GE Amsterdam, The Netherlands
Office: L6.35, Lab 42, Science Park
Interests
Logic Puzzles
Dynamic Gossip
Epistemic Planning
Functional Programming
Dynamic Epistemic Logic
Symbolic Model Checking
Craig Interpolation for Propositional Dynamic Logic
Cycling
- 2024: Poperinge → Amiens → Tours → Toulouse
- 2022: Newcastle(ton) → Isle of Arran → Galway → Cork; Rennes → Caen; Lille → Vlissingen
- 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 → Ljubljana
- 2012: Marburg → Kopenhagen → Oslo → Trondheim
- 2009: Marburg → Prague → Wittenberg
- 2008: Heidelberg → Taizé → Heidelberg