conf.researchr.org / Pierre Neron

Registered user since Mon 5 Jan 2015
Name: Pierre Neron
Country: France
Affiliation: French Network and Information Technology Agency
Personal website: https://pneron.github.io/
Research interests: Programming Languages, Type systems, Formal Methods, Verification
Contributions