Registered user since Wed 29 Jun 2016
Name:Zoe Paraskevopoulou
Country:United States
Affiliation:Northeastern University
Personal website:https://zoep.github.io/
Contributions
CoqPL 2023 | Committee Member in Program Committee within the CoqPL 2023-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile