David Pichardie

Registered user since Mon 18 Jul 2016

Name:David Pichardie
Country:France
Affiliation:Facebook Paris
Research interests:Machine-checked proofs, static analysis, programming languages, security

Contributions

PriSC 2022 Committee Member in Program Committee within the PriSC 2022-track
VMCAI 2022 A Flow-Insensitive-Complete Program Representation
Show activities from other conferences

Using general profile