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 work on automata theory, logic, games, automated
verification and synthesis,
partial order methods,
distributed computing, foundations of data
Publications (for a more up-to-date list of publications please see DBLP or HAL)
Steering commitee of the
Colloquium on Automata, Languages and Programming (ICALP) .
Member of the editorial board of
LIPIcs (Leibniz International Proceedings in Informatics).
Member of the Council of the
European Association for Theoretical Computer Science
My goal is to contribute to initiatives
supporting open access publication and promoting Theoretical Computer Science in
Europe and beyond.
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.
Editorial board of
Information Processing Letters (2006-2015).
Steering commitee of
on Theoretical Aspects of Computer Science
Member of the executive committee of the GDR