Victor Marsault's Professional Page

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 known 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, University Paris-Diderot, France. From September 2015 to August 2016.
  • PhD student in the INFRES department of Télécom-ParisTech, France under the direction of Jacques Sakarovitch. Until August 2015.


  • 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 : 2017.12.20