Photo d’illustration du domaine — ne représente pas la personne elle-même.
Née le 2 septembre 1990 et originaire de Khouribga, Amina Doumane a fait sa thèse à l’université Paris Diderot (2014-2017) avant de devenir chargée de recherche CNRS à l’ENS de Lyon, au sein de l’équipe Plume du laboratoire LIP (logique, automates et algèbre).
Contribution principale
- A démontré le théorème de complétude du µ-calcul linéaire de façon constructive, donnant un statut théorique rigoureux aux « preuves circulaires », avec des applications à la vérification formelle de logiciels.
Distinctions
Prix Gilles-Kahn de la meilleure thèse en informatique en France (2017) ; Prix La Recherche (2018).
Prix Gilles-Kahn de la meilleure thèse en informatique en France (2017) ; Prix La Recherche (2018).
La retrouver
Profil professionnel public :
Sources : Wikipedia, CNRS-INS2I, ENS Lyon.
Beb Orient n’est affilié à cette personne d’aucune façon. Cette page est un contenu éditorial indépendant destiné à faire connaître son travail ; toutes les informations proviennent de sources publiques citées ci-dessus.