Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Véronique Benzaken

Registered user since Thu 3 May 2018

Name: Véronique Benzaken

Country: France

Affiliation: Université Paris Saclay

Personal website: https://www.lri.fr/~benzaken/

Research interests: Data centric languages, Deep Specification with Proof Assistants

Contributions

CPP 2021 A Coq Formalization of Data Provenance
Show activities from other conferences

POPL 2021-profile
View general profile