enseignant-chercheur, enseignant du supérieur*chercheur en milieu académique*
Coordonnées
leoexibard@gmail.com
Adresse professionnelle
Laboratoire d'Informatique et Systèmes
Parc Scientifique de Luminy
163 avenue de Luminy - Case 901 13288 MARSEILLE 9E ARRONDISSEMENT
(+33) 4 86 09 04 82
Doctorat
Intitulé : Informatique
1ère inscription en thèse :
Septembre 2017 /
4A these 2020
École doctorale :
Mathématiques et Informatique de Marseille
Sujet :
Synthèse Automatique de Systèmes avec Données
Directeur de thèse :
PIERRE-ALAIN REYNIER
Co-directeur :
Emmanuel FILIOT
Unité de recherche :
LIS Laboratoire d'Informatique et Systèmes
Intitulé de l'équipe :
Master
Intitulé : Master Sciences Technologies Santé, Master Parisien de Recherche en Informatique, Informatique
Septembre 2016 - Université Paris-Diderot
Mention : Bien
Langues vivantes
Anglais : C2 - Courant
Espagnol : B1 - Intermédiaire
Suédois : A2 - Élémentaire
Français : Maternel
Production scientifique
-
The Complexity of Transducer Synthesis from Multi-Sequential Specifications
MFCS 2018
2018
Léo Exibard, Emmanuel Filiot, Ismaël Jecker
-
Two-Way Two-Tape Automata
Developments in Language Theory 2017
2017
Olivier Carton, Léo Exibard, Olivier Serre
https://arxiv.org/abs/1710.00213
-
Synthesis of Data Word Transducers
CONCUR 2019
2019
L. Exibard, E. Filiot, P.-A. Reynier
http://drops.dagstuhl.de/opus/volltexte/2019/10926/
-
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
FoSSaCS 2020
2020
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
https://link.springer.com/chapter/10.1007%2F978-3-030-45231-5_12