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, 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
I aim to contribute to the 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