Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > BENZAKEN Véronique
About LRI
Mrs BENZAKEN Véronique
BENZAKEN Professeur classe exceptionnelle
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

Tel : (01691)56628
Fax :
Office : 72/PCRI-S

Personal web page :
Email :

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


Leadership positions
   - Member of the research council of the Science Faculty
   - Deputy research president of the Computer Science department
   - Member of the Science Faculty Council
   - Vice Dean of the Faculty of Science

Principle investigator
   - ACI project Tralala
   - CASC
   - Typex

   - Semantic subtyping: dealing set theoretically with function union intersection and negation types

Software & Patents
   - CDuce: CDuce an XML centric Programmimg Language
   - EdiFlow: EdiFlow: interactive workflows for data analytics
   - Datacert: DataCert: A coq library for Data Intensive Languages and Systems Certification
   - BOLDR: Query Intermediate Representation Library

Ph.D. dissertations & Faculty habilitations
Faculty habilitation   - BENZAKEN.12-12-1996

Contracts & Grants
   - ACI project Tralala
   - CASC
   - CODEX
   - Typex