Anca Muscholl
Anca Muscholl | |
---|---|
Nascimento | 1967 Romênia |
Alma mater | |
Ocupação | cientista de computação, investigadora |
Distinções |
|
Empregador(a) | Bordeaux Segalen University |
Página oficial | |
https://www.labri.fr/perso/anca/ | |
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]
Formação e carreira
[editar | editar código-fonte]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
[editar | editar código-fonte]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
[editar | editar código-fonte]- ↑ 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
[editar | editar código-fonte]- Página pessoal
- Anca Muscholl, publicações indexadas pelo Google Scholar
- Nascidos em 1967
- Especialistas em lógica matemática
- Professores da Universidade de Bordeaux
- Matemáticos da Roménia
- Matemáticas da Romênia
- Cientistas da computação da Romênia
- Mulheres cientistas da computação da Romênia
- Matemáticos da Alemanha
- Matemáticas da Alemanha
- Cientistas da computação da Alemanha
- Mulheres cientistas da computação da Alemanha
- Alunos da Universidade Técnica de Munique
- Alunos da Universidade de Stuttgart
- Naturais de Bucareste