I am an assistant professor at the Vrije Universiteit Amsterdam in the Theoretical Computer Science Group. My research interests include

  • logic
  • term and graph rewriting
  • automata theory
  • coalgebra
  • formalized mathematics and proof assistants

For more information, choose one of my main research lines: