Anca Muscholl

Anca Muscholl

Professor, University of Bordeaux

Anca Muscholl became professor at the University Paris VII in 1999, and moved 2006 to the University of Bordeaux. In 2015 she became a senior Hans-Fischer fellow of the Institute of Advanced Study of the Technical University of Munich, where she spent the academic year 2016-2016.

Her main research interests are in the area of distributed synthesis and verification. She has also worked on theoretical foundations for XML, in particular on logics and automata with infinite data, and on string transductions.

Program Visits

Extended Reunion: Theoretical Foundations of Computer Systems
verification, distributed synthesis, transducers