![Alexey Gotsman](https://popl20.sigplan.org/getProfileImage/alexeygotsman/1f8c980f-a099-4e06-949a-acd84d70e8d2/small.jpg?1711512794000)
Registered user since Mon 24 Apr 2023
Name:Alexey Gotsman
Country:Spain
Affiliation:IMDEA Software Institute
Personal website: http://software.imdea.org/~gotsman/
Contributions
POPL 2020-profile
View general profile
View general profile
Registered user since Mon 24 Apr 2023
Contributions