|
 |
Doctorant
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 : 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
|
