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 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