Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > DUMBRAVA Stéfania Gabriela
Présentation
M. DUMBRAVA Stéfania Gabriela

ATTENTION : ce membre a quitté le laboratoire le 31/10/2016
 
Doctorant
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel : +(+33) 7 81 45 14 52
Fax :
Bureau : 73/PCRI-S

Page personnelle :
Courrier électronique : stefania.dumbrava@lri.fr

Activités de recherche
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
   - Langages et systèmes centrés données


Projets
   - Toccata




Responsabilités administratives
   - Membre du conseil de laboratoire



Logiciels et brevets
   - Datacert : DataCert: A coq library for Data Intensive Languages and Systems Certification


Thèses et habilitations
Doctorat   - Formalisation en Coq de Bases de Données Relationnelles et Déductives - et Mécanisation de Datalog