![Pierre Neron](https://popl16.sigplan.org/getProfileImage/pierreneron/c2c544db-8f4f-426c-a663-4dc3d34f9628/small.jpg?1717839723000)
Registered user since Mon 5 Jan 2015
Name:Pierre Neron
Country:France
Affiliation:TU Delft
Personal website: http://www.lix.polytechnique.fr/~neron/
Research interests:Programming Languages, Type systems, Formal Methods, Verification
Contributions
POPL 2016-profile
View general profile
View general profile