Research
Research Interests: current ones
- Data-Centric Programming languages ; CDuce. < Be CDuce'd: www.cduce.org />
- In general I am interested in application of static analysis techniques (type theory, abstract interpretation...) and theorem proving to data-related problems (query optimisation, verification)
Related Grants
- Projet ANR - Blanc SIMI2 Typex.
- Projet ANR - DEFIS Codex
- Projet exploratoire RNTL GraphDuce.
- Action Specifique du CNRS Langages, types, securite et integrite pour donnees semi-structurees
- ACI Securite Informatique : Projet CASC
- ACI Masse de Donnees Projet TRALALA
Véronique Benzaken's Home page
Publications