Emmanuel Filiot
Scholar

Emmanuel Filiot

Google Scholar ID: EPCJ1lQAAAAJ
FNRS - Université Libre de Bruxelles
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
824
 
H-index
16
 
i10-index
31
 
Publications
20
 
Co-authors
24
list available
Contact
GitHubOpen ↗LinkedInOpen ↗
Publications
3 items
An Automata-Based Approach to Games with $\omega$-Automatic Preferences
2026
Cited
0
Approximate Problems for Finite Transducers
2025
Cited
0
Finite-valued Streaming String Transducers
Logic in Computer Science · 2024
Cited
0
Resume (English only)
Academic Achievements
  • [MFCS 2025] Lexicographic transductions of finite words, joint work with Nathan Lhote and Pierre-Alain Reynier
  • [MFCS 2025] Register automata with permutations, joint work with Mrudula Balachander, Raffaella Gentilini, and Nikos Tzevelekos
  • [ICALP 2025] Approximate Problems for Finite Transducers, joint work with Ismaël Jecker, Khushraj Madnani, and Saina Sunny
  • [TheoretiCS, 2025 (Volume 4)] Finite-valued Streaming String Transducers, joint work with Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, and Sarah Winter
  • Supervised multiple PhD students, many of whom now hold academic positions, e.g., Ismaël Jecker (Assistant Professor at Université de Franche-Comté), Nathan Lhote (MCF at Aix-Marseille University), Léo Exibard (MCF at Université Gustave Eiffel)
Research Experience
  • Senior Research Associate (Maître de recherche) at the Department of Computer Science, Université libre de Bruxelles, member of the Formal Methods and Verification Research Group
  • 2024–present: co-Principal Investigator of the FNRS/FWO Weave Project on reactive synthesis and learning with Guillermo Perez (UAntwerpen)
  • 2019–2023: Principal Investigator of the FNRS MIS Project SYNAPSE: Synthesis of Data-Processing Systems
  • 2016–2018: Principal Investigator of the FNRS CDR Project Flare: A Shift from Languages to Relations
  • 2015–2018: Principal Investigator of the ARC Project TRANSFORM: Theoretical Foundations of Transformations
  • 2014–2018: Partner in the ANR Project ExStream: Extensions of Stream Processing
Background
  • Research interests include: automata models and their connection to logics
  • Automata-theoretic methods for program synthesis
  • Game theory and reactive synthesis
  • Theory of automata with outputs (transducers, weighted automata)
  • Synthesis of infinite-state systems (data automata, counter systems, etc.)
Co-authors
24 total
Jean-François Raskin
Jean-François Raskin
Université Libre de Bruxelles, U.L.B.
Pierre-Alain Reynier
Pierre-Alain Reynier
LIS, Aix-Marseille Université
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Ismaël Jecker
Ismaël Jecker
Institute of Science and Technology, Austria
Léo Exibard
Léo Exibard
Assistant professor at LIGM, Université Gustave Eiffel