Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > DUMBRAVA Stéfania Gabriela
About LRI
Mr DUMBRAVA Stéfania Gabriela

Warning: this member left the laboratory on 31/10/2016
 
Doctorant
Université Paris-Sud
Verification of Algorithms, Languages and Systems

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

Personal web page :
Email : stefania.dumbrava@lri.fr

Research activities
   - Formalisation of (Specification and Programming) Languages in Proof Assistants
   - Data-Centric Languages and Systems


Joint Inria project teams
   - Toccata






Software & Patents
   - Datacert: DataCert: A coq library for Data Intensive Languages and Systems Certification


Ph.D. dissertations & Faculty habilitations
Ph.D   - A Coq Formalization of Relational and Deductive Databases - and Mechanizations of Datalog