Anca Muscholl

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]

Education and career

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.^[2][4] She earned a master's degree at the Technical University of Munich,^[2] and completed her Ph.D. at the University of Stuttgart in 1994. Her dissertation, Über die Erkennbarkeit unendlicher Spuren, was supervised by Volker Diekert^[5] and published by Tuebner in 1996.^[3] She also earned a habilitation at the University of Stuttgart in 1999.^[2]

After becoming a professor at Paris Diderot University in 1999, she moved to the University of Bordeaux in 2006.^[2]

Recognition

Muscholl was a junior member of the Institut Universitaire de France from 2007 to 2012.^[2] She won the CNRS Silver Medal in 2010.^[2][4]