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

Main research lines

Recent news

Sep 15, 2019
PhD Vacancy

We are seeking applications for a fully-funded, 4-year PhD position in the Section of Theoretical Computer Science of the Vrije Universiteit Amsterdam (VUA). The goal of the project is the development of techniques for reasoning about automata that transform finite and infinite words (also known as transducers).

Jun 9, 2019
Vidi grant!

The Dutch Research Council (NWO) has awareded me a Vidi grant. This grant enables me to hire a reserach team to work on challenging problems in automata theory.