Anca Muscholl (born 1967)[1] is a Romanian-German mathematical logician and theoretical computer scientist known for her work on formal verification, model checking, and two-variable logic.
She is a researcher at the Laboratoire bordelais de recherche en informatique [fr] (LaBRI), a professor at the University of Bordeaux, and a former junior member of the Institut Universitaire de France.
[2] Muscholl was born in Bucharest,[3] came to Germany as a teenage refugee in 1984,[4] and won first place in two German national mathematics competitions (the Bundeswettbewerb Mathematik [de]) in 1985 and 1986.
Her dissertation, Über die Erkennbarkeit unendlicher Spuren, was supervised by Volker Diekert[5] and published by Tuebner in 1996.
[2] Muscholl was a junior member of the Institut Universitaire de France from 2007 to 2012.