 Stephanie Weirich

Stephanie Weirich ( ) is an American computer scientist specializing in type theory, type inference, dependent types, and functional programming.She is a professor of computer science at the University of Pennsylvania.