Alexandra Rogova

Hello !

I'm Alexandra Rogova, a PhD student under the supervision of Amélie Gheerbrant (IRIF, Université de Paris) and Leonid Libkin (IRIF and University of Edinburgh,).

My main research interests are database theory, finite automata and verification.
Right now I'm working on graph database query languages. You can find my thesis, entitled ``Design principles of property graph languages, a theoretical and experimental study'', here, and the defense slides here.

Publications

GPC: A Pattern Calculus for Property Graphs
with N. Francis, A. Gheebrant, P. Guagliardo, L. Libkin, V. Marsault, W. Martens, F. Murlak, L. Peterfreund and D. Vrgoč

PODS 2023
A Researcher’s Digest of GQL
with N. Francis, A. Gheebrant, P. Guagliardo, L. Libkin, V. Marsault, W. Martens, F. Murlak, L. Peterfreund and D. Vrgoč

ICDT 2023
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting
with A.Gheerbrant, L. Libkin and C. Sirangelo

Datalog 2.0 2022
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings
with A.Gheerbrant, L. Libkin and C. Sirangelo

Theory and Practice of Logic Programming

Teaching

Principe de fonctionnement des machines binaires L1

Bases de données avancées M1, sujet du projet

Contact

You can reach me by email : rogova [at] irif . fr
Or find me in person in office 3035 in the Sophie Germain building.

🇺🇦 Ukraine is a sovereign state with full rights to self-determination.