Sun 15 - Fri 20 November 2020 Online Conference
David Pichardie

Registered user since Mon 18 Jul 2016

Name: David Pichardie

Country: France

Affiliation: Univ Rennes, ENS Rennes, IRISA

Personal website: http://www.irisa.fr/celtique/pichardie/

Research interests: Machine-checked proofs, static analysis, programming languages, security


SAS 2020Co-chair in Program Committee within the SAS 2020-track
Committee Member in Organizing Committee within the SAS 2020-track
General Co-Chair in Organizing Committee
Show activities from other conferences

Using general profile