Identifiant pérenne de la notice : 161342728
Notice de type
Personne
Affiliation institutionnelle
Vérification automatique de programmes avec mémoire dynamique et données infinies=
Automated verification of heap-manipulating programs with infinite data/ Cezara Dragoi;
sous la direction de Ahmed Bouajjani et Mihaela Sighireanu; sous la direction de Didier
Montarras (thèse)
http://id.loc.gov/authorities/names/nb2021006859, 2024-03-11
Information trouvée : Sighireanu, Mihaela
https://ens-paris-saclay.fr/formations/departements/informatique, 2024-03-11
Information trouvée : Informaticienne. Professeure des universités, directrice du Département d'enseignement
et de recherche Informatique, École normale supérieure Paris-Saclay
https://home.lmf.cnrs.fr/MihaelaSighireanu/HomePage?lang=fr, 2024-03-11
Information trouvée : Membre du laboratoire Laboratoire méthodes formelles (LMF, UMR 9021), École normale
supérieure Paris-Saclay. - Doctorat en informatique (Grenoble, Université Joseph Fourier,
1999). Habilitation à diriger des recherches (Université de Paris VII, 2014)
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
paprika.idref.fr
data.idref.fr
Documentation
Identifiant VIAF : http://viaf.org/viaf/287687714
Identifiant ORCID : 0000-0002-1925-089X
Identifiant HAL : mihaela-sighireanu
Identifiant ZBMath : sighireanu.mihaela
Identifiant ISNI : 0000000393417755
