Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / Rémi Hutin
Rémi Hutin

Registered user since Fri 7 Dec 2018

Name:Rémi Hutin
Country:France
Affiliation:IRISA / ENS Rennes
Personal website: http://people.irisa.fr/Remi.Hutin/
Research interests:Formal verification, program security

Contributions

Show activities from other conferences

POPL 2020-profile
View general profile