ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
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

Contributions

ECOOP and ISSTAMentor in Mentors within the Summer School-track
Show activities from other conferences

ECOOP and ISSTA-profile
View general profile