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 am spending the academic year 2015/16 at the Technical University of Munich as a Hans-Fischer Fellow.

Research interests

I am interested in automata theory and logic, games, automated verification,
partial order methods, Mazurkiewicz traces, message sequence charts, foundations of data bases.

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

  • Some talks

  • Professional activities

  • I was nominated for the upcoming EATCS Council elections. I hope that I will be able to contribute to the initiatives of EATCS
    to support open access publication and to promote Theoretical Computer Science in Europe and beyond.

  • I am a member of the 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.

  • I was a member of the editorial board of Information Processing Letters, 2006-2015.

  • I served on the steering commitee of the Symposium on Theoretical Aspects of Computer Science (STACS), 2008-2014.

  • I am in charge (together with Olivier Serre, LIAFA) of the Working Group Automata, Logic, Games and Algebra (GT ALGA) of the GDR Informatique-Mathematique.

  • Programme committees

  • Teaching (in French, 2006--)