Amina Doumane
Amina Doumane | |
---|---|
Född | 2 september 1990 |
Nationalitet | marockanska |
Ockupation | Datorvetenskapsman |
Amina Doumane (2 september 1990) är en marockansk datavetare som under 2017 vann det franska Giles-Kahn-priset för bästa doktorsavhandling i Frankrike. Hennes avhandling handlade om ämnet On the infinitary proof theory of logics with fix points . Den 31 januari 2018 tilldelades Doumane priset av det franska datavetenskapssällskapet (SIF).
Forskning
Hennes doktorsavhandling kretsade kring ett cirkulärt bevis.
Heder, dekorationer, utmärkelser och utmärkelser
Gilles Kahn-priset för bästa franska doktorsavhandling, 2017, av Société informatique de France (SIF).