![Pedro Henrique Azevedo de Amorim](https://popl23.sigplan.org/getProfileImage/pedrohenriqueazevedodeamorim1/c422bd95-8b78-4c50-8204-070b727926f0/small.jpg?1711816113000)
Registered user since Thu 4 May 2017
Name:Pedro Henrique Azevedo de Amorim
Affiliation:Cornell University
Personal website: https://www.cs.cornell.edu/~pamorim/
Contributions
POPL 2023-profile
View general profile
View general profile
Registered user since Thu 4 May 2017
Contributions