Professional Page of Victor Marsault

Welcome to my homepage. Since October 2017, I am a research associate at University of Edinburgh, UK, as a member of the Laboratory for Foundations of Computer Science (LFCS) .

Research interests

  • Database theory, in particular Data graphs.
  • Algorithmics, complexity, decidability.
  • Formal languages, in particular automata and transducer theory.
  • Logic and verification.
  • Numeration and symbolic dynamics.

Software development

  • Awali : a C++/Python library plus a command-line program to execute advanced agorithms on automata and transducer with weights.

Choosen Work

Previous positions

  • 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.


  • Address :
    Informatics Forum (4.29),
    University of Edinburgh,
    10 Crichton Street,
    EH8 9AB,
    United Kindgom
  • Office : 4.29 (bldg IF)
  • Phone :
  • Email :
    victor.marsault ;;"''{<<['

français english

Last update : 2018.03.05