Welcome to my homepage!
Since October 2018, I am a scientist at
I am member of the team
Model and Algorithm (MoA)
Laboratoire d'Informatique Gaspard-Monge (LIGM, UMR 8049),
Paris-Est University (UPEM),
- 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.
a Java library implementing property graphs and Cypher-query evaluation based on
our formal semantics of Cypher.