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.

(Verlinkung)

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 more… BibTeX
  • Krishna, Siddharth; Muscholl, Anca: A quadratic construction for Zielonka automata with acyclic communication structure. Theoretical Computer Science 503, 2013, 109--114 more… BibTeX Full text ( DOI )
  • Manuel, Amaldev; Muscholl, Anca; Puppis, Gabriele: Walking on Data Words. In: Bulatov, AndreiA; Shur, ArsenyM (Ed.): Computer Science -- Theory and Applications. Springer Berlin Heidelberg, 2013, 64-75 more… BibTeX Full text ( 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 more… BibTeX
  • Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire: Reachability Analysis of Communicating Pushdown Systems. In: Ong, Luke (Ed.): Foundations of Software Science and Computational Structures. Springer Berlin Heidelberg, 2010, 267-281 more… BibTeX Full text ( 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 (Ed.): Automata, Languages and Programming. Springer Berlin Heidelberg, 2010, 52-63 more… BibTeX Full text ( 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 more… 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 more… BibTeX Full text ( DOI )
  • Abiteboul, Serge; Bourhis, Pierre; Muscholl, Anca; Wu, Zhilin: Recursive queries on trees and data trees. the 16th International Conference more… BibTeX Full text ( DOI )