Malvin Gattinger

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.

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 Protocols

• Mathematics and Philosophy at Philipps-Universität Marburg.

Contact

Send me an email to malvin@w4eg.eu.

Please use my PGP key 0xAD656F5CBA1C2E31.

For RUG-related matters, please write to b.r.m.gattinger@rug.nl.

Send post to: Nijenborgh 9, 9747 AG Groningen, The Netherlands.

You can also use this anonymous contact form.

At w4eg.de I provide email, hosting 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 → Ljubljana
• 2012: Marburg → Kopenhagen → Oslo → Trondheim
• 2009: Marburg → Prague → Wittenberg
• 2008: Heidelberg → Taizé → Heidelberg