Stephanie Balzer - POPL 2020

Registered user since Thu 5 Jun 2014

Name:Stephanie Balzer

Country:United States

Affiliation:Carnegie Mellon University, USA

Research interests:Programming languages, program verification, type theory, and logic

Contributions

PLMW 2020	Organizer in Organizing Committee within the PLMW 2020-track Session Chair of Morning 1 (part of PLMW 2020)
POPL 2020	Committee Member in Organizers within the W@POPL Dinner-track Committee Member in Organizing Committee within the Mentoring Breakfasts-track
Show activities from other conferences