معرفی
Marc Zeitoun is Professor of Computer Science at the University of Bordeaux, teaching within the UFR Informatique and conducting research in the M2F team at LaBRI. His work focuses on theoretical computer science, especially logics, automata, formal languages, and verification.
Research interests:
- Logics and automata theory
- Formal languages and expressiveness
- Finite-model theory and algebraic/topological connections
- Algorithms for finite automata and quantitative games
- Automatic verification and model-checking
- Distributed and infinite systems
He has led or participated in several ANR projects (UnReAL 2025–2029, Delta 2016–2022, FREC 2010–2014) and develops the MeSCaL software for computations on regular languages.
Teaching:
- Introduction à la calculabilité (L2 Math-info & CMI)
- Théorie de la complexité (M1 Cryptologie & Sécurité Informatique)
Student supervision:
- Co-supervised Thomas Place (Master CSI, Complexity Theory)
۰مقاله منتشرشده
