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),
Gustave Eiffel University and CNRS,
- Database theory, in particular Data graphs.
- Real and theoretical query languages for data graphs.
- Algorithmics, complexity, decidability.
- Formal languages, in particular automata and transducer theory.
: 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.