![Lisa Vasilenko](https://icfp22.sigplan.org/getProfileImage/elizavetavasilenko/8a30be17-389b-456a-a0d3-080681acf441/small.jpg?1711532180000)
Registered user since Tue 28 Jun 2022
Name:Lisa Vasilenko
Country:Spain
Affiliation:IMDEA Software Institute
Personal website: https://oquechy.github.io
X (Twitter): https://x.com/oquechy
GitHub: https://github.com/oquechy
Research interests:Type Theory, Functional Programming, Program Verification
Contributions
ICFP 2022-profile
View general profile
View general profile