Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > BENZAKEN Véronique
Présentation
Mme BENZAKEN Véronique
BENZAKEN Professeur classe exceptionnelle
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

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

Page personnelle : http://www.lri.fr/~benzaken
Courrier électronique : veronique.benzaken@u-psud.fr

Activités de recherche
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
   - Langages et systèmes centrés données

Publications




Responsabilités administratives
   - Membre du conseil de la recherche de l'UFR
   - Vice présidente Recherche du département
   - Membre du Conseil d'UFR
   - Vice-Doyenne de la Faculté des Sciences

Responsabilités de contrats
   - ACI Masses de Données TRALALA
   - GRAPHDUCE
   - CASC
   - Typex
   - ORACLE AMERICA INC

Résultats majeurs
   - Semantic subtyping: dealing set theoretically with function union intersection and negation types

Logiciels et brevets
   - CDuce : CDuce an XML centric Functional Programmimg Language
   - EdiFlow : EdiFlow: workflows intéractifs pour l'analyse de données
   - Datacert : DataCert: A coq library for Data Intensive Languages and Systems Certification
   - BOLDR : Query Intermediate Representation Library


Thèses et habilitations
Habilitation à diriger des recherches   - BENZAKEN.12-12-1996

Participations à des contrats
   - ACI Masses de Données TRALALA
   - CASC
   - GRAPHDUCE
   - CODEX
   - EDIFLOW
   - Typex