英文互译镜像站

Amina Doumane

Last updated
Amina Doumane
BornSeptember 2, 1990 [1]
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]

Contents

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

  1. ↑ Doumane, Amina. "Amina Doumane – Curriculum Vitae" (PDF). Retrieved 2024-02-12.
  2. ↑ "Amina Doumane conferred Gilles Kahn Award for best PhD thesis". 23 January 2018.
  3. ↑ "Prix de thèse Gilles Kahn et Prix La Recherche pour Amina Doumane". INS2I. 2018-01-02. Retrieved 2021-01-20.
  4. ↑ "Lauréats 2017". La Société informatique de France. Retrieved 2021-01-20.


This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
开源整站镜像工具 霸屏SEO镜像站群 泛镜像站群 网站备份克隆 站点克隆软件