Registered user since Mon 5 Jan 2015

Name: Pierre Neron

Country: France

Affiliation: TU Delft

Personal website: https://pneron.github.io/

Research interests: Programming Languages, Type systems, Formal Methods, Verification

Contributions