Professional Page of Victor Marsault

Welcome to my homepage!
Since October 2018, I am a scientist at CNRS. I am member of the team BAAM in the Laboratoire d'Informatique Gaspard-Monge (LIGM, UMR 8049), Gustave Eiffel University, Marne-la-Vallée, France.

Software development

• Awali : a C++/Python library plus a command-line program to execute advanced agorithms on automata and transducer with weights.
• CyphSem: a Java library implementing property graphs and Cypher-query evaluation based on our formal semantics of Cypher.

Recent publications

• Matching walks that are minimal with respect to edge inclusion
• Distinct Shortest Walk Enumeration for RPQs
• Enumerating regular languages in radix order: Revisiting the Ackerman-Shallit algorithm

Recent talks

• Run-based semantics for RPQs
• Query languages for property graphs: From RPQs to Cypher
• Introduction to querying with RPQs : semantics in theory and practice

Previous positions

• Research associate at Laboratory for Foundations of Computer Science (LFCS), University of Edinburgh, UK. October 2017 to September 2018.
• Post-doctoral researcher in the Discrete mathematics unit of the University of Liège, Belgium. Marie Skłodowska-Curie individual fellowship. October 2016 to September 2017.
• Post-doctoral researcher in the INFRES department of Télécom-ParisTech, France. September 2016.
• Teaching and research assistant (ATER) at IRIF, Paris-Diderot University, France. September 2015 to August 2016.
• PhD student in the INFRES department of Télécom-ParisTech, France under the direction of Jacques Sakarovitch. September 2012 to August 2015.
• Student at the top school ENS de Cachan, France. September 2008 to August 2012.