Cousot, Radhia (1947-2014)

Cousot, Radhia (1947-2014)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 076417050

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

Notice de type Personne

Point d'accès autorisé

Cousot, Radhia (1947-2014)

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 : français

Pays : Tunisie,France

Date de naissance : 06 / 08 / 1947

Date de mort : 01 / 05 / 2014

Genre : Féminin

Notes

Note publique d'information :

Informaticienne, mathématicienne

Note publique d'information :

Directrice de recherche émérite CNRS, École normale supérieure, Paris (2006-2014)

Identifiants externes

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

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

Identifiant ISNI : 0000000034763461

Source

Analyse statique de logiciels multitâches par interprétation abstraite / par Pietro Ferrara ; sous la direction de Radhia Cousot. Thèse, Palaiseau, 2009

Information trouvée : Directeur de thèse

Analyse statique de pointeurs et séparation logique / par Elodie-Jane Sims ; sous la direction de Radhia Cousot. Thèse, Palaiseau, 2007

Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 / Radhia Cousot (ed.). - Springer, 2003

http://www.cnrs.fr/ins2i/spip.php?article733, 2018-04-18

Information trouvée : Radhia Cousot. Décès : 2014-05-01

www.di.ens.fr/~rcousot/, 2018-04-18

Information trouvée : Radhia Cousot, mathématicienne, informaticienne, Directrice de recherche émérite CNRS, École normale supérieure, Paris (2006-2014). Naissance : 1947-08-06

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