Véronique Benzaken is a Full Professor at the University of Paris-Saclay , affiliated with the Computer Science Department and member of the VALS (Verification of Algorithms, Languages, and Systems) research group at LRI (CNRS) and the Toccata group at INRIA-Saclay. Her research focuses on Data-Centric Programming Languages and Deep Specification with Proof Assistants , particularly SQL/XML formalization and Coq-based verification systems. Her work includes the development of the ℂDuce XML-centric functional programming language and the Datacert project (2016-2021) for certifying data-intensive systems using Coq and Why(3). She collaborates with Oracle Labs on multi-lingual query interfaces (QIR) and formalizes languages like XQuery, Datalog, and SQL execution plans. She has received significant funding through the ANR grants for the Typex (2016) and Datacert (2016-2021) projects. Her publications in venues like CPP, ESOP, ITP, and SPLASH reflect her leadership in formal methods for data systems. Education : Habilitation (1996), PhD (1990), DEA in Theoretical Computer Science (1986), and degree in Singing/Opera (1983). Employment : Full Professor at Paris-Sud 11 since 1998; Assistant Professor at Paris 1 Panthéon-Sorbonne (1990-1998); INRIA researcher (1986-1990).








