 |
 |
Professeur classe exceptionnelle
Université Paris-Saclay
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
|
