Anca Muscholl

Anca Muscholl is a Professor at the University of Bordeaux and holds the Hans Fischer Senior Fellowship at the Technical University of Munich (TUM-IAS). She leads the Formal Methods group at the Bordeaux Laboratory for Computer Science Research (LABRI). Her research focuses on foundational aspects of formal verification, automata theory, logics, concurrent systems, and database foundations. She has held academic positions at the University of Paris 7 and has been recognized with prestigious awards, including the Silver Medal from CNRS (2010) and membership in the Institut Universitaire de France (2007–2012).

Education: Master’s from Technical University of Munich (TUM), PhD from University of Stuttgart (1994), and habilitation at the same institution. She has contributed to editorial roles for journals like Information Processing Letters and Discrete Mathematics & Theoretical Computer Science, and serves on the council of the European Association for Theoretical Computer Science (EATCS).

Her work emphasizes automated controller synthesis for distributed systems and formal methods in concurrency. Notable achievements include advancements in distributed synthesis, temporal logic, and verification of reactive systems. She actively participates in organizing major conferences like ICALP and steering committees for theoretical computer science initiatives.

• Awards: Silver Medal (CNRS 2010), Junior Member of IUF (2007–2012), Best Paper Awards (PODS 2006, ETAPS 2001).
• Professional Roles: Editor for TheoretiCS, member of EATCS council, and leader of the Formal Methods group at LABRI.
• Research Themes: Formal verification, automata theory, concurrency, distributed systems, database logics.