Stephanie  Weirich

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)
haskell

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.

help