Hispanopedia WikiAnca Muscholl (nacida en 1967) [1] es una lógica matemática y científica informática teórica rumano-alemana conocida por su trabajo en verificación formal , comprobación de modelos y lógica de dos variables . Es investigadora en el Laboratoire bordelais de recherche en informatique (LaBRI), profesora en la Universidad de Burdeos y exmiembro junior del Institut Universitaire de France . [2]
Educación y carrera
Muscholl nació en Bucarest , [3] llegó a Alemania como refugiada adolescente en 1984, [4] y ganó el primer lugar en dos competiciones nacionales alemanas de matemáticas (Bundeswettbewerb Mathematik ) en 1985 y 1986. [2] [4] Obtuvo una maestría en la Universidad Técnica de Munich , [2] y completó su doctorado en la Universidad de Stuttgart en 1994. Su disertación, Über die Erkennbarkeit unendlicher Spuren , fue supervisada por Volker Diekert [5] y publicada por Tuebner en 1996. [3] También obtuvo una habilitación en la Universidad de Stuttgart en 1999. [2]
Tras convertirse en profesora de la Universidad París Diderot en 1999, se trasladó a la Universidad de Burdeos en 2006. [2]
Reconocimiento
Muscholl fue miembro junior del Instituto Universitario de Francia de 2007 a 2012. [2] Ganó la Medalla de Plata del CNRS en 2010. [2] [4]
Referencias
- ^ Año de nacimiento de la entrada del catálogo de la Biblioteca Nacional Alemana, consultado el 29 de marzo de 2021
- ^ abcdefg "Anca Muscholl, investigadora principal Hans Fischer", Alumni fellows , Instituto de Estudios Avanzados de la TU Munich , consultado el 29 de marzo de 2021
- ^ ab Muscholl, Anca (1996), Über die Erkennbarkeit unendlicher Spuren, Tuebner, ISBN 9783322953711– a través de Google Books
- ^ abc "Anca Muscholl, enseignante-chercheuse en informatique" (PDF) , Médailles d'argent du CNRS (en francés), CNRS , consultado el 29 de marzo de 2021
- ^ Anca Muscholl en el Proyecto de Genealogía Matemática
Enlaces externos
- Página de inicio
- Publicaciones de Anca Muscholl indexadas por Google Scholar