![]() |
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.frMailing address LaBRI, Université Bordeaux 1, 351 cours de la Libération, F-33405 Talence Cedex. |
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ée en cours