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.