
Registered user since Tue 28 Jun 2022
Name:Lisa Vasilenko
Country:Spain
Affiliation:IMDEA Software Institute
Personal website:https://oquechy.github.io
Twitter:https://twitter.com/oquechy
GitHub:https://github.com/oquechy
Research interests:Type Theory, Functional Programming, Program Verification
Contributions
POPL 2023 | Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile