Anca Muscholl

Short CV

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 currently leads the Formal Methods group. Her research is concerned with the foundations of formal verification, concerning in particular concurrent and reactive systems. She received the Silver Medal of the French National Center for Scientific Research (CNRS) in 2010. From 2007 to 2012, she was a junior member of Institut Universitaire de France. Anca Muscholl is currentlya co-editor of the journals Information Processing Letters and Discrete Mathematics & Theoretical Computer Science.


Selected Awards

2010 Silver Medal of the French National Center for Scientific Research (CNRS)

2007-2012 Junior member of Institut Universitaire de France

2006 Best Paper Award ACM SIGMOD-SIGACT-SIGART Symp. on Principles of Database Systems (PODS)

2001 EASST Best paper award for software of the European Joint Conferences on Theory and Practice of Software, ETAPS’01

1994 Freunde der Universität Stuttgart Thesis Award

1985,1986 First prize of the national German math competition (Bundessiegerin im Bundeswettbewerb Mathematik)

Research Interests

  • foundations of formal verification
  • automata, logics and games
  • concurrent systems
  • foundations of data bases

Selected Publications

  • Muscholl, Anca; Walukiewicz, Igor: Distributed synthesis for acyclic architectures. CoRR abs/1402.3314, 2014 mehr… BibTeX
  • Krishna, Siddharth; Muscholl, Anca: A quadratic construction for Zielonka automata with acyclic communication structure. Theoretical Computer Science 503, 2013, 109--114 mehr… BibTeX Volltext ( DOI )
  • Manuel, Amaldev; Muscholl, Anca; Puppis, Gabriele: Walking on Data Words. In: Bulatov, AndreiA; Shur, ArsenyM (Hrsg.): Computer Science -- Theory and Applications. Springer Berlin Heidelberg, 2013, 64-75 mehr… BibTeX Volltext ( DOI )
  • Bojanczyk, M.; David, C.; Schwentick, Th; Segoufin, L.; Muscholl, Anca: Two-variable logic on data words. ACM Trans. Comput. Log. 12 (4), 2011, 27 mehr… BibTeX
  • Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire: Reachability Analysis of Communicating Pushdown Systems. In: Ong, Luke (Hrsg.): Foundations of Software Science and Computational Structures. Springer Berlin Heidelberg, 2010, 267-281 mehr… BibTeX Volltext ( DOI )
  • Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor: Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. In: Abramsky, Samson; Gavoille, Cyril; Kirchner, Claude; {Meyer auf der Heide, Friedhelm}; Spirakis, PaulG (Hrsg.): Automata, Languages and Programming. Springer Berlin Heidelberg, 2010, 52-63 mehr… BibTeX Volltext ( DOI )
  • Bojanczyk, M.; Schwentick, Th; Segoufin, L.; Muscholl, Anca: Two-variable logic on data trees and XML reasoning. J. of the ACM 56 (3), 2009 mehr… BibTeX
  • Genest, Blaise; Kuske, Dietrich; Muscholl, Anca: A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Information and Computation 204 (6), 2006, 920--956 mehr… BibTeX Volltext ( DOI )
  • Abiteboul, Serge; Bourhis, Pierre; Muscholl, Anca; Wu, Zhilin: Recursive queries on trees and data trees. the 16th International Conference mehr… BibTeX Volltext ( DOI )