
Stephanie Weirich
ENIAC President's Distinguished Professor of Computer and Information Science
University of Pennsylvania
location_on United States
Member since 8 months
Share
Stephanie Weirich
Specialises In (based on submitted proposals)
Stephanie is the ENIAC President's Distinguished Professor of Computer and Information Science at the University of Pennsylvania. Her research interests include statically-typed functional programming, dependent types, interactive theorem proving and programming language theory. She is the General Chair of ICFP 2020 and hopes to see you (virtually) in August.