About

Current

Past

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 use this anonymous contact form.


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