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.

During 2009-2010, I hold an INRIA full-time researcher position at the LSV, ENS Cachan. My web page at LSV is here.

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ées passées


Last modified: Mon Mar 9 18:59:37 CET 2009