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 at 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, specification and automated verification, partial order methods,
message sequence charts, automata and complexity, parallel complexity

  • Publications

  • Some talks

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

  • GT Jeux (GDR IM)

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

  • Associated editor of Information Processing Letters

  • Organisational activities

  • Cours (2006--)