Stephanie Balzer - ECOOP 2022

Registered user since Thu 5 Jun 2014

Name:Stephanie Balzer

Country:United States

Affiliation:Carnegie Mellon University

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

Contributions

ECOOP 2022	Committee Member in Organizing Committee within the Doctoral Symposium-track Ferrite: A Judgmental Embedding of Session Types in Rust Doctoral Symposium Co-Chair in Organizers
Show activities from other conferences