Malvin Gattinger

Malvin Gattinger

Assistant Professor

UvA ILLC

Interests
  • epistemic planning
  • modal logic
  • model checking
  • functional programming