Anca Muscholl

Biography

Anca Muscholl is a professor at the University of Bordeaux, France. She received her master in Computer Science at TUM and her PhD at the University of Stuttgart in 1994. After her habilitation at the University of Stuttgart, she joined the University of Paris 7 as a professor in 1999. She then moved to the University of Bordeaux in 2006, where she leads the Formal Methods group. Her research is concerned with the foundations of formal verification, concerning in particular concurrent and reactive systems. Anca Muscholl is Chairwoman of the Steering Committee of the International Colloquium on Automata, Languages and Programming (ICALP) and a member of the Council of the European Association for Theoretical Computer Science (EATCS). In 2010 she received the Silver Medal of the French Centre for Scientific Research (CNRS) and in 2016 the ACM PODS Alberto O. Mendelzon Test-of-Time Award. She is currently co-editor of the journal Discrete Mathematics & Theoretical Computer Science and a member of the Editorial Board of Leibniz International Proceedings in Informatics.