![]() |
Marc ZeitounI am researcher at the LaBRI and professor of computer science at the University Bordeaux 1. Office A30, 202. Tel. +33 (0)5 4000 6094, Fax. +33 (0)5 4000 6669. Email mz@labri.fr. During 2009-2010, I hold an INRIA full-time researcher position at the LSV, ENS Cachan. My web page at LSV is here. |
Current reseach interests: automata, finite and profinite semigroup theory, logics, game theory, automated verification for distributed and infinite state systems, partial and linear orderings, topological and algebraic methods.
Années passées