Амина Думане

Амина Думане
Амина Думане
Рожденный	2 сентября 1990 г.
Национальность	Марокканский
Занятие	Ученый-компьютерщик

Амина Думан (2 сентября 1990 г.) - марокканский ученый-компьютерщик, которая в 2017 году выиграла французскую премию Жиля-Кана за лучшую докторскую диссертацию во Франции. Ее диссертация была на тему « Теория бесконечных доказательств логики с неподвижными точками» . 31 января 2018 года Думану была вручена награда Французского общества информатики (SIF). ^{[ 2 ]}

Исследовать

Ее докторская диссертация была посвящена круговой системе доказательств. ^{[ 3 ]}

Почести, награды, награды и отличия

Премия Жиля Кана за лучшую французскую докторскую диссертацию, 2017 г., от Общества информатики Франции (SIF). ^{[ 4 ]}

Ссылки

^ Думан, Амина. «Амина Думане - Биографическая справка» (PDF) . Проверено 12 февраля 2024 г.
^ «Амина Думан удостоена премии Жиля Кана за лучшую докторскую диссертацию» . 23 января 2018 г.
^ «Премия Жиля Кана за диссертацию и премия La Recherche для Амины Думан» . ИНС2И . 2018-01-02 . Проверено 20 января 2021 г.
^ «Победители 2017 года» . Французское компьютерное общество . Проверено 20 января 2021 г.

П ≟ НП

Эта биографическая статья, посвященная ученому-компьютерщику незавершена , . Вы можете помочь Википедии, расширив ее .

[1] Думан, Амина. «Амина Думане - Биографическая справка» (PDF) . Проверено 12 февраля 2024 г.

[PhD_award-2] «Амина Думан удостоена премии Жиля Кана за лучшую докторскую диссертацию» . 23 января 2018 г.

[3] «Премия Жиля Кана за диссертацию и премия La Recherche для Амины Думан» . ИНС2И . 2018-01-02 . Проверено 20 января 2021 г.

[4] «Победители 2017 года» . Французское компьютерное общество . Проверено 20 января 2021 г.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

Базы данных авторитетного контроля
Международный	ВИАФ
академики	Ассоциация вычислительной техники ДБЛП MathSciNet Скопус zbMATH
Другой	ИдРеф