Write a Blog >>
Pierre Neron

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

POPL 2016 Activities

POPL 2016-profile
View general profile