Anca Muscholl
Phone: +33 (5) 40 00 35 21
Fax: +33 (5) 40 00 66 69
Mailing address: LaBRI, Université Bordeaux,
351 cours de la Libération, F-33405 Talence cedex

Researcher at the Laboratoire Bordelais de Recherche en Informatique (LaBRI),
professor at the Université Bordeaux and member of the Institut Universitaire de France.

I spent the academic year 2015/16 at the Technical University of Munich as a Hans-Fischer Fellow.

Research interests

I am interested in automata theory, logic, games, automated verification and synthesis,
partial order methods, distributed computing, foundations of data bases.

Publications (for a more up-to-date list of publications please see DBLP or HAL)

Professional activities

  • Steering commitee of the International 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 EATCS. .
    I aim to contribute to the initiatives supporting open access publication and promoting Theoretical Computer Science in Europe and beyond.

  • Editorial board of Discrete Mathematics &Theoretical Computer Science (section Automata, Logic and Semantics),
    an 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 the Symposium on Theoretical Aspects of Computer Science (STACS), 2008-2014.

  • Member of the executive committee of the GDR Informatique-Mathematique.

  • Teaching