|
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
|
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