Biography: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]
References
- ↑ Birth year from German National Library catalog entry, retrieved 2021-03-29
- ↑ 2.0 2.1 2.2 2.3 2.4 2.5 2.6 "Anca Muscholl, Hans Fischer Senior Fellow", Alumni fellows (TU Munich Institute for Advanced Study), https://www.ias.tum.de/en/alumni-fellows/muscholl-anca/, retrieved 2021-03-29
- ↑ 3.0 3.1 Muscholl, Anca (1996), Über die Erkennbarkeit unendlicher Spuren, Tuebner, ISBN 9783322953711, https://books.google.com/books?id=cZCnDwAAQBAJ
- ↑ 4.0 4.1 4.2 "Anca Muscholl, enseignante-chercheuse en informatique" (in fr), Médailles d'argent du CNRS (CNRS), https://www.cnrs.fr/sites/default/files/download-file/MuschollA.pdf, retrieved 2021-03-29
- ↑ Anca Muscholl at the Mathematics Genealogy Project
External links
- Home page
- Anca Muscholl publications indexed by Google Scholar
 |  |
