Aller au contenu principal
FR

Nadime FRANCIS

Maître de conférences

Champs-sur-Marne

Bâtiment: Building: Copernic

5 boulevard Descartes Champs-sur-Marne 77454 Marne-la-Vallée Cedex 2

Bureau: Office: 4B130

Nadime FRANCIS

Maître de conférences

Maître de conférences

Activités de recherche

Depuis septembre 2017, je suis maître de conférences au LIGM, dans l'équipe Modèles et Algorithmes.

Entre 2015 et 2017, j'étais en postdoc à l'Université d'Edimbourg, sous la direction de Leonid Libkin.

Entre 2012 et 2015, j'étais étudiant en thèse sous la direction de Luc Ségoufin et Cristina Sirangelo au Laboratoire Spécification et Vérification, à l'ENS de Cachan. J'ai soutenu ma thèse le 11 décembre 2015.


Mots-clefs : théorie des bases de données, théorie des modèles finis, logique, automates, complexité.

Research activity

I have been a Maître de conférences in the algorithmic team of LIGM since September 2017.

Between 2015 and 2017, I worked as a postdoc in Leonid Libkin's research team at the University of Edinburgh.

I did my PhD between 2012 and 2015 at the LSV, ENS Cachan, with my directors Luc Segoufin and Cristina Sirangelo. I defended my PhD on the 11th of December 2015. (manuscript)


Key words: database theory, finite model theory, logic, automata, complexity.

Mes dernières références

My latest references

Sur HAL

On HAL

Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, et al.
Cypher: An Evolving Query Language for Property Graphs. SIGMOD'18 Proceedings of the 2018 International Conference on Management of Data, Jun 2018, Houston, United States. pp.1433
10.1145/3183713.3190657
Nadime Francis, Leonid Libkin
Schema Mappings for Data Graphs. the 36th ACM SIGMOD-SIGACT-SIGAI Symposium, May 2017, Chicago, United States
10.1145/3034786.3056113
Nadime Francis
Asymptotic Determinacy of Path Queries using Union-of-Paths Views. Theory of Computing Systems, Springer Verlag, 2017, 61 (1), pp.156-190
10.1007/s00224-016-9697-x
Nadime Francis
View-based query determinacy and rewritings over graph databases. Databases [cs.DB]. Université Paris-Saclay, 2015. English
Nadime Francis, Luc Segoufin, Cristina Sirangelo
Datalog Rewritings of Regular Path Queries using Views. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, 11 (4)
Nadime Francis
Asymptotic Determinacy of Path Queries using Union-of-Paths Views. 18th International Conference on Database Theory (ICDT 2015), Mar 2015, Brussels, Belgium
10.4230/LIPIcs.ICDT.2015.44
Nadime Francis, Luc Segoufin, Cristina Sirangelo
Datalog Rewritings of Regular Path Queries using Views. Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014., Mar 2014, Athens, Greece. pp.107--118
10.5441/002/icdt.2014.14
Claire David, Nadime Francis, Filip Murlak
Consistency of injective tree patterns. Foundations of Software Technology and Theoretical Computer Science, Dec 2014, New Dehli, India