Registered user since Wed 25 Nov 2015

Name: Benjamin Delaware

Affiliation: Purdue University

Personal website: https://www.cs.purdue.edu/homes/bendy/

Research interests: Programming Languages and Verification

POPL 2018 Activities

• Student Research Competition Chair in Selection Committee for POPL 2018 Student Research Competition
• Student Research Competition Chair in Organizing Committee for POPL 2018
• Committee Member in Program Committee for Coq for PL 2018 CoqPL-2018
• Show activities from other conferences