About

  • Assistant professor at ILLC in Amsterdam.

Past

Contact

Send me an email to malvin@w4eg.eu.

Please use my PGP key 0xAD656F5CBA1C2E31.

You can also use this anonymous contact form.


For UvA-related matters, please write to b.r.m.gattinger@uva.nl.

Post: P.O. Box 94242, 1090 GE Amsterdam, The Netherlands

Office: F2.41, Science Park 107.

Interests

  • Logic Puzzles

  • Dynamic Gossip

  • Epistemic Planning

  • Functional Programming

  • Dynamic Epistemic Logic

  • Symbolic Model Checking

  • Craig Interpolation for Propositional Dynamic Logic

Cycling