![Gustavo Petri](https://popl19.sigplan.org/getProfileImage/gustavopetri/9e2b30e9-574f-4e1c-9284-95fe8932b409/small.jpg?1714118317000)
Registered user since Tue 31 Mar 2015
Name:Gustavo Petri
Country:France
Affiliation:IRIF, Université Paris Diderot
Personal website: http://gpetri.github.io/
Research interests:Concurrency, Verification, Memory Models, Semantics
Contributions
POPL 2019-profile
View general profile
View general profile