About

  • Assistant professor at ILLC, University of Amsterdam.

Past

Contact

Send me an email to malvin@w4eg.eu.

Please use my PGP key 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