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
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

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

Personal web page :
Email :

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