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

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



Main research interests:

automata and logic, verification, partial order methods,
message sequence charts, automata and complexity

  • Publications

  • Some talks

  • Symposium on Theoretical Aspects of Computer Science (STACS)

  • GT Jeux (GDR IM)

  • Associated editor of Discrete Mathematics &Theoretical Computer Science (Automata, Logic and Semantics)

  • Associated editor of Information Processing Letters

  • DocFlow (ANR-06-MDCA-05, 2006/08)

  • Other activities

  • Cours (2006--)