I am an assistant professor at the Vrije Universiteit Amsterdam in the Theoretical Computer Science Group. My research interests include
- term and graph rewriting
- automata theory
- formalized mathematics and proof assistants
Main research lines
Sep 15, 2019PhD 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, 201935th 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, 2019Vidi grant!
Jan 5, 20198th Int. Workshop on Confluence
Consider submitting a paper to the International Workshop on Confluence (IWC) 2019; submission deadline
April 22, 2019.
Jan 5, 20189th Workshop on Higher-Order Rewriting
Please consider contributing to the Workshop on Higher-Order Rewriting (HOR) 2018; submission deadline
July 7, 2018.