About

Current

Past

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