Welcome to my homepage.
Since October 2017, I am a research associate at University of Edinburgh, UK,
as a member of the
Laboratory for Foundations of Computer Science (LFCS)
- Database theory, in particular Data graphs.
- Algorithmics, complexity, decidability.
- Formal languages, in particular automata and transducer theory.
- Logic and verification.
- Numeration and symbolic dynamics.
: a C++/Python library plus a command-line program to execute advanced agorithms
on automata and transducer with weights.