Anca Muscholl
  Mail:
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 work on 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.
    My goal is to contribute to 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