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 MPRI, Paris), PhD, ULB/Paris 12, co-supervised with Catalin Dima. Start: Sep 2013.
    Subject: synthesis from epistemic specifications.
  • Ismaël Jecker (Master EPFL, Lausanne), PhD, co-supervised with Jean-François Raskin. Start: Oct 2014.
    Subject: theory of regular transformations.
  • Former

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

  • Publications

    Recent Work

  • Survey on Logic-Automata Connections for Transformations. Invited talk for ICLA'15.
  • Finite Valued Weighted Automata, with Raffaella Gentilini and Jean-François Raskin. To appear in FSTTCS'14.
  • Safraless Synthesis for Epistemic Temporal Specifications, with Rodica Bozianu and Catalin Dima. CAV'14.
  • First-Order Definable String Transformations, with Shankara Narayanan Krishna (IIT Bombay) and Ashutosh Trivedi (IIT Bombay). To appear in FSTTCS'14.
  • Meet Your Expectations with Guarantees: Beyond Worst-Case Synthesis in Quantitative Games, with V. Bruyère, M. Randour and J.-F. Raskin. STACS'14.
  • Doomsday Equilibria for Omega-Regular Games, with K. Chatterjee, L. Doyen and J.-F. Raskin. VMCAI'14.
  • 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.