Saltar para o conteúdo

Anca Muscholl

Origem: Wikipédia, a enciclopédia livre.
Anca Muscholl
Nascimento 1967
Romênia
Alma mater
Ocupação cientista de computação, investigadora
Distinções
  • CNRS silver medal (2010)
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]

  1. Ano de nascimento em Katalog der Deutschen Nationalbibliothek, acessado em 17 de fevereiro de 2022
  2. 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 
  3. a b Muscholl, Anca (1996), Über die Erkennbarkeit unendlicher Spuren, Teubner – via Google Books 
  4. 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 
  5. Anca Muscholl (em inglês) no Mathematics Genealogy Project

Ligações externas

[editar | editar código-fonte]