Anca Muscholl

Anca Muscholl is a Professor at the University of Bordeaux, affiliated with LaBRI (Laboratoire Bordelais de Recherche en Informatique), a prominent computer science research laboratory in France. Her research focuses on theoretical aspects of computer science, particularly in automata theory, logic, games, verification and synthesis, distributed systems, and foundations of databases.

Her research interests span across several key areas in theoretical computer science:

• Automata theory, with particular focus on string transducers and weighted automata
• Formal verification and synthesis of distributed systems
• Logic in computer science, including two-variable logic on data words
• Communication models and message passing systems
• Web services composition and negotiation protocols

Professor Muscholl has been actively involved in the theoretical computer science community through numerous editorial and leadership roles. She currently serves on the editorial boards of TheoretiCS, Logical Methods in Computer Science, and LIPIcs. She is also a member of the Council of the European Association for Theoretical Computer Science (EATCS) and the Comité national de la recherche scientifique (section 06).

Her recent publications demonstrate continued productivity and influence in her field, with significant contributions to string transducers, distributed systems verification, and automata theory. Her work shows a consistent focus on theoretical foundations with practical applications in verification and distributed computing.

Her professional service includes significant leadership roles such as:

• Steering committee chair of the EATCS International Colloquium on Automata, Languages and Programming (2018-2024)
• Editorial board member of Discrete Mathematics & Theoretical Computer Science (2001-2023)
• Editorial board member of Information Processing Letters (2006-2015)
• Steering committee member of the Symposium on Theoretical Aspects of Computer Science (STACS) (2008-2014)
• Executive committee member of GDR Informatique-Mathématique (2017-2023)

Professor Muscholl has made substantial contributions to the theoretical computer science community through her research, service, and mentorship. Her work bridges theoretical foundations with practical applications in verification and distributed systems, contributing to the advancement of formal methods and their applications.