Amina Doumane

Amina Doumane
Rayuwa
Haihuwa	Moroko, 2 Satumba 1990 (34 shekaru)
ƙasa	Moroko
Harshen uwa	Abzinanci
Karatu
Makaranta	Paris Diderot University (en) ; École Centrale Paris (en)
Thesis director	Pierre-Louis Curien (en)
Harsuna	Larabci; Abzinanci
Sana'a
Sana'a	computer scientist (en) da masanin lissafi
	Mahalarcin Wasan Olympia a imo (297.) ;
Wurin aiki	Paris Diderot University (en) , University of Warsaw (en) , École Normale Supérieure de Lyon (en) da Laboratoire Spécification et Vérification (en)
Kyaututtuka	gani Gilles Kahn Award (2017) ; Kleene award (2017) ;
	perso.ens-lyon.fr…

Amina Doumane (Satumba 2, 1990) ƙwararriyar masaniyar kimiyyar kwamfuta ce 'yar ƙasar Morocco wacce a lokacin shekarun 2017 ta sami lambar yabo ta Faransa Giles-Kahn don mafi kyawun karatun digiri a Faransa. Rubutun ta ya kasance akan batun akan ka'idar hujja ta ƙarshe ta dabaru tare da kafaffen maki (On the infinitary proof theory of logics with fixed points). A ranar 31 ga watan Janairu 2018, Doumane ta sami lambar yabo ta ƙungiyar kimiyyar kwamfuta ta Faransa (SIF).^[1]

Bincike

Ƙididdiga na digirinta ya ta'allaka ne da tsarin tabbatar da madauwari.^[2]

Girmamawa, kayan ado, kyaututtuka da banbance-banbance

Kyautar Gilles Kahn don mafi kyawun karatun digiri na Faransa, 2017, ta Société informatique de France (SIF).^[3]

Manazarta

↑ "Amina Doumane conferred Gilles Kahn Award for best PhD thesis". 23 January 2018.
↑ "Prix de thèse Gilles Kahn et Prix La Recherche pour Amina Doumane". INS2I. 2018-01-02. Retrieved 2021-01-20.
↑ "Lauréats 2017". La Société informatique de France. Retrieved 2021-01-20.

[PhD_award-1] "Amina Doumane conferred Gilles Kahn Award for best PhD thesis". 23 January 2018.

[2] "Prix de thèse Gilles Kahn et Prix La Recherche pour Amina Doumane". INS2I. 2018-01-02. Retrieved 2021-01-20.

[3] "Lauréats 2017". La Société informatique de France. Retrieved 2021-01-20.

[1]

[2]

[3]