Stephanie Weirich

Stephanie Weirich (/ˈwaɪərɪk/ WYRE-ik[1]) 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.

Weirich graduated magna cum laude in 1996 from Rice University, with a bachelor's degree in computer science.[2] At Rice, she became interested in programming languages through an undergraduate research project with Matthias Felleisen.[3] She moved to Cornell University for her graduate studies, completing her Ph.D. in 2002.[2] Her dissertation, Programming with Types, was supervised by Greg Morrisett.[4] She joined the University of Pennsylvania faculty in 2002.[2]

Weirich's work on type inference has been incorporated into the Glasgow Haskell Compiler. She has also been a leader of the POPLmark challenge for benchmarking type systems of programming languages. Weirich won the SIGPLAN Robin Milner Young Researcher Award in 2016.

  1. ^ "Engineering in 100 Seconds: Stephanie Weirich". YouTube. Retrieved 1 July 2020.
  2. ^ a b c Cite error: The named reference cv was invoked but never defined (see the help page).
  3. ^ Cite error: The named reference ppl was invoked but never defined (see the help page).
  4. ^ Cite error: The named reference mgp was invoked but never defined (see the help page).