Emmanuel Filiot

Ph.D., INRIA Lille, 2008.

FNRS Research Associate ("Chercheur Qualifié")
Computer Science
Université Libre de Bruxelles

CV

Département d'Informatique
ULB - Campus de la Plaine
CP 212 - 1050 Bruxelles Belgium

Building: NO, Floor: 8, Office: 2. N.8. 111
Phone: +32 (0) 2 650 58 27
Fax: +32 (0) 2 650 56 09
Email: efiliot at ulb.ac.be


Scientific Events

  • PC member of DLT 2017
  • PC member of TTATT 2016
  • PC member of CSL 2016
  • Co-organizer of Highlights of Automata, Logics, and Games, 6-9 September, 2016, Brussels

  • Research Interests

  • Game theory and synthesis
  • Logics and automata for (in)finite words and trees
  • Word and tree transformations
  • XML and relational databases

  • Current Research Projects

  • 2016-2018. FNRS CDR Project Flare. A Shift from Languages to Relations. PI.
  • 2015-2019. ARC Project TRANSFORM. Theoretical Foundations of Transformations. PI.
  • 2014-2018. ANR Project ExStream. Extensions of Stream Processing. Partner.

  • Master, PhD Students and PostDoc

    Current

  • Nicolas Mazzocchi (Master in CS, ENS Cachan), PhD, co-supervised with Jean-François Raskin. Start: Oct 2016.
    Subject: Decidable formalisms for quantitative verification. Funded by FRIA.
  • Ismaël Jecker (Master in Mathematics, EPFL, Lausanne), PhD. Start: Oct 2014.
    Subject: theory of regular transformations. Funded by FNRS.
  • Luc Dartois (PhD at LIAFA, Paris 7), PostDoc, Start: Sept 2015. Funded by ARC Project TRANSFORM.
  • Nathan Lhote (Master in CS, Bordeaux University), PhD, Start: Sept 2015. Co-supervised with O. Gauwin (Labri) and A. Muscholl (Labri). Funded by French ANR project EXTSTREAM.
  • Former

  • Rodica Bozianu (Master in CS, MPRI, Paris), PhD, ULB/Paris 12, co-supervised with Catalin Dima. 2013-2016.
    Subject: synthesis from epistemic specifications.
  • Léo Exibard (3rd Bachelor student at ENS Lyon), 2 months summer internship in 2014.
    Subject: uniformisation of rational relations.

  • Publications

    Recent Work

  • [2017] On Regret and Delay Determinization of Max-Plus Automata. With Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez and Jean-François Raskin. Submitted.
  • [2017] Decidable Logics for Transductions and Data Words. With Luc Dartois and Nathan Lhote. Submitted.
  • International Conferences


    Teaching / Enseignement

    Teaching / Enseignement

  • 2012-2013 Cours et TDs d'Algorithmique et Initiation à la Complexité. L3, UPEC. Page du cours.
  • 2012-2013 Cours de Modèles et Outils pour la Vérification, Master 1 Informatique, UPEC. Transparents.
  • 2012-2013 Cours de Langage de Spécification, Master 1 Informatique, UPEC. Page du cours.
  • 2012-2013 TD Algorithmique et Complexité, L2 Info, UPEC. solutions.
  • 2011-2012 Cours de Logique en Bachelier 3 à l'ULB.
  • 2009-2010, 2010-2011, Bachelier 3: Logique Informatique . Université Libre de Bruxelles et Ecole Polytechnique de Bruxelles. Cours, exercices et projets.
  • 2006-2007, Master 1: Fouille de données
    Sujet TP Clustering de Couleurs (utilisation de méthodes de clustering pour transformer une image en une image avec moins de couleurs). Pour les sources, me contacter par email.
  • 2006-2007, Master 1: Algorithmique Avancée et Complexité (voir le portail)
    Sujet TP programmation dynamique: un chameau dans le désert
  • 2005-2006, Master 1: Algorithmique Avancée et Complexité (voir la page de Sophie Tison)
  • 2003-2004, Initiation à l'informatique, utilisation de Maple, classes préparatoires (PCSI) au lycée La Martinière (Lyon)
  • Divers

  • Un début d'introduction à Objective Caml avec un peu de code. Pour plus d'infos: le site officiel, et l'excellent cours de programmation de Daniel Hirschkoff.