Doumane, Amina (1990-.... ; informaticienne théoricienne)

Doumane, Amina (1990-.... ; informaticienne théoricienne)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 233781579

URI de l'entité : http://www.idref.fr/233781579/id

Notice de type Personne

Point d'accès autorisé

Doumane, Amina (1990-.... ; informaticienne théoricienne)

Nom à l'état civil

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : arabe,anglais,français

Pays : Maroc

Date de naissance : 1990

Genre : Féminin

Notes

Note publique d'information :

Informaticienne-mathématicienne. Chargée de recherches CNRS. Membre du "Laboratoire de l'Informatique du Parallélisme" à l'ENS de Lyon (en 2024)

Note publique d'information :

Auteur d'une thèse en Informatique. Informatique fondamentale à Sorbonne Paris Cité en 2017

Affiliation institutionnelle

Membre de Laboratoire de l'informatique du parallélisme (Lyon ; 1988-....)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/96157100642072740002

Identifiant Wikidata : Q65707471

Identifiant ZBMath : doumane.amina

Identifiant HAL : amina-doumane

Identifiant SCOPUS : 56901305100

Identifiant Wikipédia : https://fr.wikipedia.org/wiki/Amina_Doumane

Source

On the infinitary proof theory of logics with fixed points / Amina Doumane ; sous la direction de Pierre-Louis Curien et Alexis Saurin et David Baelde. Thèse de doctorat : Informatique. Informatique fondamentale : Sorbonne Paris Cité : 2017

https://aminadoumane.wixsite.com/ens-lyon, 2024-03-11

Information trouvée : Informaticienne-mathématicienne. Chargée de recherches CNRS. Membre du "Laboratoire de l'Informatique du Parallélisme" à l'ENS de Lyon

... Références liées : ...