Lisa Vasilenko

Registered user since Tue 28 Jun 2022

Name:Lisa Vasilenko
Country:Spain
Affiliation:IMDEA Software Institute
Personal website:https://oquechy.github.io
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

Using general profile