Monsieur Léo EXIBARD / Docteur

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

Coordonnées

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

Adresse professionnelle

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

Emplois

Recherche : NON

Doctorat

Titre : Informatique

1ère inscription en thèse : 1 septembre 2017 / 4A

Ecole doctorale : Mathématiques et Informatique de Marseille

Date de soutenance de thèse : 20 septembre 2021

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

Directeur de thèse : REYNIER PIERRE-ALAIN

Co-directeur : FILIOT Emmanuel

Unité de recherche : LIS Laboratoire d'Informatique et Systèmes

Master

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

septembre 2016 - Université Paris-Diderot

Mention : Bien

Production scientifique

  • 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

Langues

Anglais : C2 - Courant

Espagnol : B1 - Intermédiaire

Suédois : A2 - Élémentaire

Français : Maternel