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

• Queries with External Predicates
• Rel: A Programming Language for Relational Data
• Matching walks that are minimal with respect to edge inclusion

Recent talks

• Signature and Numeration Systems
• Query languages for property graphs: From RPQs to Cypher
• Formalization of real query languages and application to theory

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.