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)


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.
  • Krishna, Siddharth; Muscholl, Anca: A quadratic construction for Zielonka automata with acyclic communication structure. Theoretical Computer Science 503, 2013, 109-114.
  • 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.
  • Bojanczyk, M.; David, C.; Schwentick, Th; Segoufin, L.; Muscholl, Anca: Two-variable logic on data words. ACM Trans. Comput. Log. 12 (4), 2011, 27.
  • 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.
  • 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.
  • Bojanczyk, M.; Schwentick, Th; Segoufin, L.; Muscholl, Anca: Two-variable logic on data trees and XML reasoning. J. of the ACM 56 (3), 2009.
  • 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.

For a full publication list, please see here.


Publications as TUM-IAS-Fellow

2018

  • Esparza, Javier; Kuperberg, Denis; Muscholl, Anca; Walukiewicz, Igor: Soundness in negotiations. Logical Methods in Computer Science ; Volume 14, 2018, Issue 1 ; 1860-5974 more… BibTeX Full text ( DOI )

2017

  • Esparza, Javier; Muscholl, Anca; Walukiewicz, Igor: Static analysis of deterministic negotiations. 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, 2017 more… BibTeX Full text ( DOI )
  • Muscholl, Anca; Seidl, Helmut; Walukiewicz, Igor: Reachability for Dynamic Parametric Processes. In: Lecture Notes in Computer Science. Springer International Publishing, 2017 more… BibTeX Full text ( DOI )

2016

  • Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca; Puppis, Gabriele: Minimizing Resources of Sweeping and Streaming String Transducers. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2016 more… BibTeX Full text ( DOI )

2015

  • La Torre, Salvatore; Muscholl, Anca; Walukiewicz, Igor: Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2015 more… BibTeX Full text ( DOI )
  • Muscholl, Anca: Automated Synthesis of Distributed Controllers. In: Automata, Languages, and Programming. Springer Berlin Heidelberg, 2015 more… BibTeX Full text ( DOI )