. Amina Doumane, née au Maroc il y a 27 ans, a reçu du jury de la
Société informatique de France de le prestigieux prix Gilles-Kahn pour sa thèse intitulée : « On the infinitary proof theory of logics with fixed points » (Théorie de la démonstration infinitaire pour les logiques à points fixes). Un prix accompagné d'un chèque de 1.500€.
Aucun commentaire:
Enregistrer un commentaire