Page professionnelle de Victor Marsault

Bienvenue sur ma page !
Depuis octobre 2018, je suis chargé de recherche au CNRS, dans l'équipe Bases de données, Automates, Analyse d'algorithmes et Modèles (BAAM) du Laboratoire d'Informatique Gaspard-Monge (LIGM, UMR 8049), à l'Université Gustave Eiffel, Marne-la-Vallée, France.

Développement logiciel

• Awali : une bibliothèque C++/Python et un programme en ligne de commande pour manipuler les automates et transducteurs à multiplicités.
• CyphSem: une bibliothèque Java qui implémente les graphes à propriétés et l'execution de requêtes Cypher, basée sur notre notre sémantique formelle de Cypher.

Travaux récents

• Enumerating regular languages in radix order: Revisiting the Ackerman-Shallit algorithm
• A Researcher’s Digest of GQL
• GPC: A Pattern Calculus for Property Graphs

Presentation récentes

• Query languages for property graphs: From RPQs to Cypher
• Introduction to querying with RPQs : semantics in theory and practice
• Using automata to realise additions

Situations précédentes

• Post-doctorant au Laboratory for Foundations of Computer Science (LFCS), Université d'Edimbourg, Royaume-Uni. D'octobre 2017 à septembre 2018.
• Post-doctorant dans l'unité de recherche de Mathématiques discrètes de l'Université de Liège, Belgique. Titulaire d'une bourse Marie Skłodowska-Curie partiellement financée par l'Union Européenne. D'octobre 2016 à septembre 2017.
• Post-doctorant au département INFRES de Télécom-ParisTech, France. Septembre 2016.
• ATER à l'IRIF, Université Paris-Diderot, France. De septembre 2015 à août 2016.
• Doctorant au département INFRES de Télécom-ParisTech, France sous la direction de Jacques Sakarovitch. De septembre 2012 à août 2015.
• Elève-fonctionnaire à l'ENS de Cachan. De septembre 2008 à août 2012.