About
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.
0Publications listed
Find Marc Zeitoun elsewhere
Related Searches
You Might Also Like
- MMarc ZeitounMax Planck Institute for Software Systems · Professor
- TThomas PlaceInria · Lecturer
- GGabriele PuppisUniversity of Central Florida · Associate Professor
Chris KöcherMax Planck Institute for Software Systems · Researcher- SStefan MiliusUniversity of Erlangen–Nuremberg · Senior Lecturer
- PPatrick TotzkeUniversity of Liverpool · Professor