Research

Research areas

Algebra, categories and logic in computer science

Theory of automata and formal languages

Theory of tree automata and tree transducers

Fixed point operations and iteration theories

Process algebra

Term rewrite systems