SPLASH 2021 (series) / Marianna Rapoport
![Marianna Rapoport](https://2021.splashcon.org/getProfileImage/mariannarapoport/159f605d-ec60-40b2-a884-6154b79735a0/small.jpg?1711467045000)
Registered user since Mon 25 Apr 2016
Name:Marianna Rapoport
Country:Canada
Affiliation:Amazon
Personal website: http://mrapoport.com
GitHub: https://github.com/amaurremi
Research interests:verification, type systems, functional programming
Contributions
SPLASH 2021-profile
View general profile
View general profile