Laboratoire de Recherche en Informatique

Mrs BENZAKEN Véronique

		Professeur classe exceptionnelle Université Paris-Saclay Verification of Algorithms, Languages and Systems Tel : (01691)56628 Fax : Office : 72/PCRI-S Personal web page : http://www.lri.fr/~benzaken Email : veronique.benzaken@u-psud.fr
Research activities - Formalisation of (Specification and Programming) Languages in Proof Assistants - Data-Centric Languages and Systems Publications 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 - GRAPHDUCE - CASC - Typex - ORACLE AMERICA INC Highlights - 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 - GRAPHDUCE - CODEX - EDIFLOW - Typex