Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > KORNEVA Alexandrina
Présentation
Mme KORNEVA Alexandrina
Doctorant
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel : 0169153589
Fax :
Bureau : 39/PCRI-S

Page personnelle :
Courrier électronique : Alexandrina.Korneva@lri.fr











Thèses et habilitations
Thèse en cours   - Modélisation et vérification de smart-contrats par des techniques de model checking