Амина Думане
Амина Думане | |
|---|---|
| Рожденный | 2 сентября 1990 г. [1] |
| Национальность | марокканский |
| Занятие | Ученый-компьютерщик |
Амина Думан (2 сентября 1990 г.) — марокканский учёный-компьютерщик, которая в 2017 г. выиграла французскую премию Жиля-Кана за лучшую докторскую диссертацию во Франции. Её диссертация была на тему « О бесконечной теории доказательств логик с неподвижными точками» . 31 января 2018 г. Думан была удостоена награды от Французского общества компьютерных наук (SIF). [2]
Исследовать
Ее докторская диссертация была посвящена круговой системе доказательств. [3]
Почести, награды, премии и отличия
Премия Жиля Кана за лучшую французскую докторскую диссертацию, 2017 г., от Общества информатики Франции (SIF). [4]
Ссылки
- ^ Думан, Амина. «Амина Думане - Биографическая справка» (PDF) . Проверено 12 февраля 2024 г.
- ^ "Амина Думан удостоена премии Жиля Кана за лучшую докторскую диссертацию". 23 января 2018 г.
- ^ "Приз Жиля Кана и приз La Recherche pour Amina Doumane" . ИНС2И . 2018-01-02 . Проверено 20 января 2021 г.
- ^ "Лауреаты 2017". Информационное общество Франции . Проверено 20 января 2021 г.
