My research interests are decidability questions in different computational models (automata theory, semi-Thue systems, Turing machines etc.); decidability questions on integers matrices; foundations of mathematics and computer science; logic; combinatorics on words. At the moment I am focusing on decidability questions and foundations.

I am a Emmy Network Fellow, see https://emmy.network/