Drăgoi, Cezara (1982-....)
France
Date de naissance
1981
Langues d'expression
anglais
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)
Titulaire d'une thèse de doctorat en Informatique à l'Université de Paris 7, 2011
Titulaire d'une thèse de doctorat en Informatique à l'Université de Paris 7, 2011
Vidéos
Logic-based static analysis for the verification of programs with dynamically allocated data struct…
Drăgoi
Cezara
Software development has reached a complexity level that cannot be handled without the aid of computer assisted methods. It is therefore of the highest importance to have rigorous methods and