Marc Zeitoun - picture

Marc Zeitoun

I 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
Mailing address LaBRI, Université Bordeaux 1, 351 cours de la Libération, F-33405 Talence Cedex.

Research

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.

Teaching (mostly in French)

Année en cours


Last modified: Tue Jan 31 10:59:01 CET 2012