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 (LaBRI), a professor at the University of Bordeaux, and a former junior member of the Institut Universitaire de France.[2]
Education and career
[edit | edit source]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) 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 and published by Teubner Verlag 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
[edit | edit source]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]
References
[edit | edit source]- ^ Birth year from German National Library catalog entry, retrieved 2021-03-29
- ^ a b c d e f g Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b c Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
External links
[edit | edit source]- Home page
- Anca Muscholl publications indexed by Google Scholar
Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).
- 1967 births
- Living people
- People from Bucharest
- 20th-century German mathematicians
- 20th-century German women mathematicians
- 21st-century German women mathematicians
- German computer scientists
- German women computer scientists
- Romanian emigrants to Germany
- Romanian refugees
- Theoretical computer scientists
- Mathematical logicians
- Women logicians
- Technical University of Munich alumni
- University of Stuttgart alumni
- Academic staff of the University of Bordeaux
- Academic staff of Paris Diderot University
- 21st-century German mathematicians