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

  • Chair of International Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2015)

  • Research Interests

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

  • Students

    Current

  • Rodica Bozianu (Master in CS, MPRI, Paris), PhD, ULB/Paris 12, co-supervised with Catalin Dima. Start: Sep 2013.
    Subject: synthesis from epistemic specifications.
  • Ismaël Jecker (Master in Mathematics, EPFL, Lausanne), PhD, co-supervised with Jean-François Raskin. Start: Oct 2014.
    Subject: theory of regular transformations.
  • Luc Dartois (PhD at LIAFA, Paris 7), PostDoc, Start: Sept 2015. Funded by ARC Project TRANSFORM.
  • Nathan Lothe (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

  • Léo Exibard (3rd Bachelor student at ENS Lyon), 2 months summer internship in 2014.
    Subject: uniformisation of rational relations.

  • Publications

    Recent Work

  • Multi-sequential Word Relations. With Ismaël Jecker. Submitted.
  • Decision Problems of Tree Transducers with Origin. With Sebastian Maneth, Pierre-Alain Reynier and Jean-Marc Talbot. To appear in ICALP'15.
  • Survey on Logic-Automata Connections for Transformations. Invited talk for ICLA'15.
  • 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.