Анка Мусхолл
Анка Мусхолл (1967 г.р.) [1] — румынско-немецкий математик-логик и учёный-теоретик, известный своими работами в области формальной верификации , проверки моделей и логики двух переменных . Она является научным сотрудником Бордоской исследовательской лаборатории информатики (LaBRI), профессором Университета Бордо и бывшим младшим членом Университетского института Франции . [2]
Образование и карьера
[ редактировать ]Мусхолл родился в Бухаресте . [3] приехал в Германию подростком-беженцем в 1984 году. [4] и занял первое место в двух немецких национальных математических соревнованиях ( Bundesvettbewerb Mathematik ) в 1985 и 1986 годах. [2] [4] Получила степень магистра в Техническом университете Мюнхена . [2] и защитила докторскую диссертацию. в Штутгартском университете в 1994 году. Ее диссертация «Об обнаружении бесконечных следов » была написана под руководством Фолькера Дикерта. [5] и опубликовано Тюбнером в 1996 году. [3] В 1999 году она также получила степень магистра в Штутгартском университете. [2]
Став профессором Парижского университета Дидро в 1999 году, в 2006 году она перешла в Университет Бордо. [2]
Признание
[ редактировать ]Мусхолл был младшим членом Университетского института Франции с 2007 по 2012 год. [2] В 2010 году она выиграла серебряную медаль CNRS . [2] [4]
Ссылки
[ редактировать ]- ↑ Год рождения из записи каталога Немецкой национальной библиотеки , получено 29 марта 2021 г.
- ^ Перейти обратно: а б с д и ж г «Анка Мушолль, старший научный сотрудник Ганса Фишера» , выпускники Мюнхенского института перспективных исследований , получено 29 марта 2021 г.
- ^ Перейти обратно: а б Масшолл, Анка (1996), Об распознаваемости бесконечных следов , Тюбнер, ISBN 9783322953711 – через Google Книги
- ^ Перейти обратно: а б с «Анка Мусхолл, преподаватель-исследователь в области информатики» (PDF) , серебряные медали CNRS (на французском языке), CNRS , получено 29 марта 2021 г.
- ^ Анка Мусхолл в проекте «Математическая генеалогия»
Внешние ссылки
[ редактировать ]- Домашняя страница
- Публикации Анки Мусхолл , индексируемые Google Scholar
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1967 года рождения
- Живые люди
- Люди из Бухареста
- Немецкие математики XX века
- Немецкие женщины-математики
- Немецкие ученые-компьютерщики
- Немецкие женщины-компьютерщики
- Румынские эмигранты в Германию
- Румынские беженцы
- Теоретики-компьютерщики
- Математические логики
- Женщины-логики
- Выпускники Мюнхенского технического университета
- Выпускники Штутгартского университета
- Академический состав Университета Бордо
- Академический состав Парижского университета Дидро
- Немецкие математики XXI века