Stephanie Weirich - ICFP 2020

Write a Blog >>

Thu 20 - Fri 28 August 2020

Registered user since Fri 9 Sep 2016

Name: Stephanie Weirich

Country: United States

Affiliation: University of Pennsylvania

Personal website: https://www.cis.upenn.edu/~sweirich/

Research interests: Functional Programming, Type Systems

Contributions

HIW 2020	Author of Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale within the HIW 2020-track
ICFP 2020	Committee Member in Selection Committee within the Tutorials-track General Chair of Award Presentations & Chair Report within the ICFP Program-track Session Chair of Asia 4 (part of ICFP Program) Session Chair of Awards & Reports (part of ICFP Program) Session Chair of New York 4 (part of ICFP Program) Session Chair of ICFP Programming Contest (part of ICFP Program) General Chair in Organizing Committee Author of Conference closing within the ICFP Program-track Author in Steering Committee General Chair of Information Desk within the Social Events-track Committee Member in Virtualization Committee
Show activities from other conferences

ICFP 2020-profile
View general profile