Blogs (61) >>
David Pichardie

Registered user since Mon 18 Jul 2016

Name: David Pichardie

Country: France

Affiliation: Univ Rennes, ENS Rennes, IRISA

Personal website:

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


ECOOP and ISSTA 2018 Mentor in Mentors within the Summer School-track
Show activities from other conferences

ECOOP and ISSTA 2018-profile
View general profile