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

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 chair of the International Colloquium on Automata, Languages and Programming (ICALP) .

  • Member of the editorial board of LIPIcs (Leibniz International Proceedings in Informatics) and of the new diamond open-access journal TheoretiCS.

  • Member of the Council of the European Association for Theoretical Computer Science EATCS.
    My long-term goal is to contribute to initiatives that support open access publication and to promote Theoretical Computer Science in Europe and beyond.
    I am also committed to preserve the impact of EATCS-ICALP, as the main European TCS conference.

  • Member of the editorial board of Discrete Mathematics &Theoretical Computer Science (section Automata, Logic and Semantics),
  • Former member of the editorial board of Information Processing Letters (2006-2015).

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

  • Teaching

    Theoretical Computer Scientists for Future