APLAS 2024 (series) / Lisa Vasilenko
Registered user since Mon 14 Oct 2019
Name:Lisa Vasilenko
Affiliation:IMDEA Software Institute and HSE University
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
Using general profile