I am an associate 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

Automata Transforming Streams

Productivity

Termination

Clocked Lambda Calculus
& Clocked Böhm Trees

Confluence
& Unique Normal Forms

Recent news

Apr 28, 2025 PhD defence of Aloïs Rosset: On April 28, 2025, Aloïs Rosset successfully defended his PhD thesis Uniform Monad Presentations and Graph Quasitoposes at the Vrije Universiteit Amsterdam (co-supervised with Helle Hvid Hansen). Congratulations, Aloïs!
Nov 15, 2024 18th International Conference on Graph Transformation (ICGT 2025): Together with Matthias Tichy, I am program committee co-chair of the International Conference on Graph Transformation (ICGT) 2025 in Koblenz, part of STAF 2025. Please consider submitting a paper; submission deadline February 4, 2025 (abstracts January 28, 2025).
Apr 15, 2024 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025): Together with Sylvain Schmitz, I am program committee co-chair of Computer Science Logic (CSL) 2025, held at CWI in Amsterdam. Please consider submitting a paper; submission deadline July 23, 2024 (abstracts July 18, 2024).
Mar 1, 2024 19th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2024): Please consider submitting a paper to the Workshop on Logical and Semantic Frameworks with Applications (LSFA) 2024 in Goiânia, Brazil; submission deadline June 7, 2024 (abstracts May 31, 2024).
Feb 15, 2024 15th International Workshop on Graph Computation Models (GCM 2024): Together with Dominik Grzelak, I am program committee co-chair of the International Workshop on Graph Computation Models (GCM) 2024 in Enschede, part of STAF 2024. Please consider submitting a paper; submission deadline May 14, 2024 (abstracts May 7, 2024).