Marc Zeitoun

Marc Zeitoun is a Professor of Computer Science at Bordeaux University, conducting research at the LaBRI laboratory within the M2F department. His work focuses on automata theory, formal languages, and their connections to logic, algebra, and software verification.

• Research Interests: Automata theory, temporal and first-order logic, regular language hierarchies, software model checking, group languages, modular predicates, and algebraic characterizations.
• Key Projects: ANR projects UnReAL (2025–2029), Delta (2016–2022), and FREC (2010–2014).
• Software Development: Co-developer of MeSCaL, a tool for testing membership and separation problems in regular languages with optimized algorithms for syntactic monoids.
• Recent Contributions: Decidability of membership in dot-depth three, temporal hierarchies, and unambiguous polynomial closures; polynomial-time reductions for separation problems in first-order logic fragments.