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.

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.

Teaching (mostly in French)

Semestre courant

Semestre précédent

Années passées

Past events


Last modified: Wed Jun 17 23:25:17 CET 2009