Anca Muscholl (Bucareste, 1967)[1] é uma matemática e cientista da computação romeno-alemã, conhecida por seu trabalho em verificação formal, verificação de modelos e lógica de duas variáveis. É pesquisadora do Laboratoire Bordelais de Recherche en Informatique (LaBRI), professora da Universidade de Bordeaux e ex-membro júnior do Instituto Universitário da França.[2]
Muscholl nasceu em Bucareste,[3] indo para a Alemanha como refugiada adolescente em 1984,[4] e ganhou o primeiro lugar em duas competições nacionais alemãs de matemática, o Bundeswettbewerb Mathematik em 1985 e 1986.[2][4] Obteve um mestrado na Universidade Técnica de Munique,[2] e completou um doutorado na Universidade de Stuttgart em 1994, com a tese Über die Erkennbarkeit unendlicher Spuren, orientada por Volker Diekert[5] e publicada pela Teubner em 1996.[3] Também obteve a habilitação na Universidade de Stuttgart in 1999.[2]
Depois de se tornar professora na Universidade Paris VII em 1999, foi para a Universidade de Bordeaux em 2006.[2]
Reconhecimento
Muscholl foi membro júnior do Instituto Universitário da França de 2007 a 2012.[2] Ganhou a Medalha de Prata do CNRS em 2010.[2][4]
Referências
- ↑ Ano de nascimento em Katalog der Deutschen Nationalbibliothek, acessado em 17 de fevereiro de 2022
- ↑ a b c d e f g «Anca Muscholl, Hans Fischer Senior Fellow», TU Munich Institute for Advanced Study, Alumni fellows, consultado em 17 de fevereiro de 2022
- ↑ a b Muscholl, Anca (1996), Über die Erkennbarkeit unendlicher Spuren, Teubner – via Google Books
- ↑ a b c «Anca Muscholl, enseignante-chercheuse en informatique» (PDF), CNRS, Médailles d'argent du CNRS (em francês), consultado em 17 de fevereiro de 2022
- ↑ Anca Muscholl (em inglês) no Mathematics Genealogy Project
Ligações externas
