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 nominated for the upcoming EATCS Council elections. I hope
that I will be able 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.
and New Tracks in Trace Theory, Cremona, 2008
Beyond the Finite: New Challenges in Verification and
Semistructured Data, 2008
Ecole de Printemps en
Informatique Théorique 2006 : Jeux en Sémantique et en
Dagstuhl seminar Logic,
Algebra, and Formal Verification of Concurrent Systems, 2000
(in French, 2006--)