Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Stephanie Balzer

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

Show activities from other conferences

ICFP 2020-profile
View general profile