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

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).
Aug 6, 2019 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): Please consider submitting a paper to the ACM/IEEE Symposium on Logic in Computer Science (LICS) 2020; submission deadline January 6, 2020.
Jun 9, 2019 Vidi grant!: The Dutch Research Council (NWO) has awarded me a Vidi grant. This grant enables me to hire a research team to work on challenging problems in automata theory.
Jan 5, 2019 8th Int. Workshop on Confluence: Consider submitting a paper to the International Workshop on Confluence (IWC) 2019; submission deadline April 22, 2019.
Jan 5, 2018 9th Workshop on Higher-Order Rewriting: Please consider contributing to the Workshop on Higher-Order Rewriting (HOR) 2018; submission deadline July 7, 2018.