Amina Doumane
 Amina Doumane | |
|---|---|
| Rayuwa | |
| Haihuwa | Moroko, 2 Satumba 1990 (33 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
| |
| 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
|
| 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[gyara sashe | gyara masomin]
Ƙididdiga na digirinta ya ta'allaka ne da tsarin tabbatar da madauwari.[2]
Girmamawa, kayan ado, kyaututtuka da banbance-banbance[gyara sashe | gyara masomin]
Kyautar Gilles Kahn don mafi kyawun karatun digiri na Faransa, 2017, ta Société informatique de France (SIF).[3]
Manazarta[gyara sashe | gyara masomin]
- ↑ "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.