Page professionnelle de Victor Marsault

Bienvenue sur ma page !
Depuis octobre 2018, je suis chargé de recherche au CNRS, dans l'équipe Modèle et algorithme (MoA) du Laboratoire d'Informatique Gaspard-Monge (LIGM, UMR 8049), à l'Université Paris-Est (UPEM), Marne-la-Vallée, France.


Interêts scientifiques


  • Bases de données, en particulier les graphes de données.
  • Algorithmique, complexité, decidabilité.
  • Langages formels, en particulier la théorie des automates et transducteurs.
  • Logique et vérification.
  • Numération et systèmes dynamiques.

Développement logiciel


  • Awali : une bibliothèque C++/Python et un programme en ligne de commande pour manipuler les automates et transducteurs à multiplicités.

Travaux choisis



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


Coordonnées


  • Adresse :
    Victor Marsault
    LIGM
    Bâtiment Copernic
    5 boulevard Descartes
    77420 Champs-sur-Marne
    France
  • Bureau : (4B) 123
  • Bâtiment : Copernic
  • Courriel :
    victor.marsault ;;"''{<<[' u-pem.fr



Affiliation



français english

Dernières modifications : 2018.12.03