Registered user since Wed 29 Jun 2016

Name: Zoe Paraskevopoulou

Country: United States

Affiliation: Princeton University, USA

Personal website: https://zoep.github.io/

POPL 2017 Activities

• Committee Member in Artifact Evaluation Committee for POPL 2017 Artifact Evaluation
• Author of CertiCoq: A verified compiler for Coq within the CoqPL 2017-track in CoqPL 2017
• Show activities from other conferences