Drăgoi, Cezara (1982-....)

Drăgoi, Cezara (1982-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 161342949

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

Notice de type Personne

Point d'accès autorisé

Drăgoi, Cezara (1982-....)

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 : anglais

Pays : France

Date de naissance : 1981

Genre : Masculin

Notes

Note publique d'information :

Informaticienne. Chargée de recherche INRIA, membre de l'équipe de recherche Analyse statique par interprétation abstraite (ANTIQUE), Département d'informatique (DI ENS, UMR 8548), École normale supérieure, Paris (en 2020)

Note publique d'information :

Titulaire d'une thèse de doctorat en Informatique à l'Université de Paris 7, 2011

Source

Automated verification of heap-manipulating programs with infinite data/ Cezara Dragoi; sous la direction de Ahmed Bouajjani et Mihaela Sighireanu (thèse) 2011

https://www.di.ens.fr/~cezarad/, 2020-02-19

Information trouvée : Informaticienne. Chargée de recherche INRIA, membre de l'équipe de recherche Analyse statique par interprétation abstraite (ANTIQUE), Département d'informatique (DI ENS, UMR 8548), École normale supérieure, Paris

Source consultée en vain : http://catalogue.bnf.fr, 2020-02-19

Identifiants externes

Identifiant HAL : cezara-dragoi

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

Identifiant ISNI : 0000000390927522

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet

Le point d'accès ne peut s'employer qu'en élément initial

Informations sur la notice

Identifiant de la notice : 161342949

RCR créateur de la notice : 751132105

Date de création : 30-05-2012

RCR dernier modificateur de la notice : 751052342

Date de dernière modification : 20-10-2020 à 03 h 59

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