Monsieur Léo EXIBARD / PhD

enseignant-chercheur, enseignant du supérieur*chercheur en milieu académique*

Contact details

leoexibard@gmail.com
http://www.ulb.ac.be/di/verif/lexibard/

Professional contact details

Laboratoire d'Informatique et Systèmes Parc Scientifique de Luminy 163 avenue de Luminy - Case 901, 13288 MARSEILLE 9E ARRONDISSEMENT , FRANCE

(+33) 4 86 09 04 82

Jobs

Research : NON

PhD

Title : Informatique

First registration date : 1 September 2017 / 4A

Doctoral school : Mathématiques et Informatique de Marseille

Thesis defense date : 20 September 2021

Subject : Synthèse Automatique de Systèmes avec Données

Thesis supervisor : REYNIER PIERRE-ALAIN

Thesis co-supervisor : FILIOT Emmanuel

Research unit : LIS Laboratoire d'Informatique et Systèmes

Master's degree

Title : Master Sciences Technologies Santé, Master Parisien de Recherche en Informatique, Informatique

September 2016 - Université Paris-Diderot

Mention : Bien

Publications

  • Synthesis of Data Word Transducers (poster)
    Journées Annuelles du GdR IM, 2019
    L. Exibard, E. Filiot, P.-A. Reynier
    http://di.ulb.ac.be/verif/lexibard/works/SynthesisDataWordsTransducersCONCUR/SynthesisDataWordsTransducersCONCURPoster.pdf
  • Synthesis of Data Word Transducers (extended version)
    Logical Methods in Computer Science, 2020
    Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier

  • On Computability of Data Word Functions Defined by Transducers
    2020
    Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
    https://hal.archives-ouvertes.fr/hal-02945572/document
  • Synthesis of Data Word Transducers
    2019
    Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
    https://hal.archives-ouvertes.fr/hal-02439660/document
  • The Complexity of Transducer Synthesis from Multi-Sequential Specifications
    2018
    Léo Exibard, Emmanuel Filiot, Ismaël Jecker
    https://hal.archives-ouvertes.fr/hal-02134273/document
  • Two-Way Two-Tape Automata
    2017
    Olivier Carton, Léo Exibard, Olivier Serre
    https://hal.archives-ouvertes.fr/hal-02112626/document
  • Computability of Data-Word Transductions over Different Data Domains
    Logical Methods in Computer Science (LMCS), 2021
    Léo Exibard, Emmanuel Filiot, Nathan Lhote et Pierre-Alain Reynier
    https://arxiv.org/abs/2101.07038
  • Church Synthesis on Register Automata over Linearly Ordered Data Domains
    STACS 2021, 2021
    Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
    Léo Exibard, Emmanuel Filiot, Ayrat Khalimov

Languages

Anglais : C2 - Courant

Espagnol : B1 - Intermédiaire

Suédois : A2 - Élémentaire

Français : Maternel