Anca Muscholl (Bucareste, ) é 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.
Formação e carreira Muscholl nasceu em Bucareste, indo para a Alemanha como refugiada adolescente em 1984, e ganhou o primeiro lugar em duas competições nacionais alemãs de matemática, o Bundeswettbewerb Mathematik em 1985 e 1986. Obteve um mestrado na Universidade Técnica de Munique, e completou um doutorado na Universidade de Stuttgart em 1994, com a tese Über die Erkennbarkeit unendlicher Spuren, orientada por Volker Diekert e publicada pela Teubner em 1996. Também obteve a habilitação na Universidade de Stuttgart in 1999.
Depois de se tornar professora na Universidade Paris VII em 1999, foi para a Universidade de Bordeaux em 2006.
Reconhecimento Muscholl foi membro júnior do Instituto Universitário da França de 2007 a 2012. Ganhou a Medalha de Prata do CNRS em 2010.
Referências
Ligações externas Página pessoal
Categoria:Especialistas em lógica matemática Categoria:Professores da Universidade de Bordeaux Categoria:Matemáticos da Roménia Categoria:Matemáticas da Romênia Categoria:Cientistas da computação da Romênia Categoria:Mulheres cientistas da computação da Romênia Categoria:Matemáticos da Alemanha Categoria:Matemáticas da Alemanha Categoria:Cientistas da computação da Alemanha Categoria:Mulheres cientistas da computação da Alemanha Categoria:Alunos da Universidade Técnica de Munique Categoria:Alunos da Universidade de Stuttgart Categoria:Naturais de Bucareste Categoria:Pessoas vivas