Amina Doumane: Difference between revisions
Content deleted Content added
wrong information |
Tags: Mobile edit Mobile web edit |
||
| Line 10: | Line 10: | ||
==Research== |
==Research== |
||
Her doctoral thesis centered around a circular proof.<ref> {{Cite web| title = Prix de thèse Gilles Kahn et Prix La Recherche pour Amina Doumane| work = INS2I| accessdate = 2021-01-20| date = 2018-01-02|url=https://ins2i.cnrs.fr/fr/cnrsinfo/prix-de-these-gilles-kahn-et-prix-la-recherche-pour-amina-doumane}} </ref> |
Her doctoral thesis centered around a circular proof system.<ref> {{Cite web| title = Prix de thèse Gilles Kahn et Prix La Recherche pour Amina Doumane| work = INS2I| accessdate = 2021-01-20| date = 2018-01-02|url=https://ins2i.cnrs.fr/fr/cnrsinfo/prix-de-these-gilles-kahn-et-prix-la-recherche-pour-amina-doumane}} </ref> |
||
==Honours, decorations, awards and distinctions== |
==Honours, decorations, awards and distinctions== |
||
Revision as of 11:54, 28 April 2023
Amina Doumane | |
|---|---|
| Born | September 2, 1990[1] |
| Nationality | Moroccan |
| Occupation | Computer scientist |
Amina Doumane (September 2, 1990) is a Moroccan computer scientist who on during 2017 won the French Giles-Kahn prize for the best doctoral thesis in France. Her thesis was on the subject On the infinitary proof theory of logics with fixed points. On January 31 2018, Doumane was presented with the award by the French computer science society (SIF).[2]
Research
Her doctoral thesis centered around a circular proof system.[3]
Honours, decorations, awards and distinctions
Gilles Kahn prize for best French doctoral thesis, 2017, by the Société informatique de France (SIF).[4]
References
- ^ Doumane, Amina. "Amina Doumane – Curriculum Vitae": 3.
{{cite journal}}: Cite journal requires|journal=(help) - ^ "Amina Doumane conferred Gilles Kahn Award for best PhD thesis". 23 January 2018.
{{cite web}}: CS1 maint: url-status (link) - ^ "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.
| International | |
|---|---|
| Academics | |
| Other | |
