Anca Muscholl

Anca Muscholl

Professor, University of Bordeaux

Anca Muscholl was born in Bucharest, Romania. She graduated in CS in 1991 from the Technical University of Munich. She obtained her PhD in CS in 1994, and the habilitation in 1999, from the University of Stuttgart. She became professor at the University Paris VII and member of LIAFA (now IRIF) in 1999. In 2006 she moved to LaBRI,
University of Bordeaux. She was nominated as junior member of the
Institut universitaire de France in 2007 and received the CNRS silver
medal in 2010. 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.

Anca Muscholl published over 100 journal and refereed conference
papers. She co-organized international workshops in automata theory,
logic in computer science and trace theory and presented invited talks
at ICALP-LICS'15 and STACS'19. She served as member of program
committees for leading conferences in theoretical computer science,
and co-chaired the PCs of several conferences (ICALP, MFCS, FOSSACS,
Concur). She is member of the editorial boards of LMCS and TheoretiCS.

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

Program Visits

verification, distributed synthesis, transducers