Phone: +33 (5) 40 00 35 21
Fax: +33 (5) 40 00 66 69
Mailing address: LaBRI, Université
351 cours de la Libération, F-33405 Talence cedex
I spent the academic year 2015/16 at the Technical
University of Munich as a Hans-Fischer Fellow.
I am interested in automata theory and logic, games, automated
(for a more up-to-date list of publications please see DBLP or HAL)
partial order methods, Mazurkiewicz
traces, message sequence charts, foundations of data
I was elected into the Council of the EATCS. As a member I intend
to contribute to the initiatives
to support open
access publication and to promote Theoretical Computer Science in
Europe and beyond.
I am a member of the editorial board of Discrete
Mathematics &Theoretical Computer Science
(section Automata, Logic and Semantics),
open-access journal. Please contact me if you have any
questions concerning publication with DMTCS.
I was a member of the editorial board of
Information Processing Letters, 2006-2015.
I served on the steering commitee of the Symposium
on Theoretical Aspects of Computer Science
I am in charge (together with Olivier Serre, LIAFA) of
the Working Group
Automata, Logic, Games and Algebra (GT
ALGA) of the GDR Informatique-Mathematique.
(in French, 2006--)