Stephanie Weirich ( ) is an American computer scientist specializing in

type theory In mathematics and theoretical computer science, a type theory is the formal presentation of a specific type system. Type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of ...

type inference Type inference, sometimes called type reconstruction, refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some bran ...

dependent type In computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers lik ...

s, and

functional programming In computer science, functional programming is a programming paradigm where programs are constructed by Function application, applying and Function composition (computer science), composing Function (computer science), functions. It is a declarat ...

. She is a professor of computer science at the

University of Pennsylvania The University of Pennsylvania (Penn or UPenn) is a Private university, private Ivy League research university in Philadelphia, Pennsylvania, United States. One of nine colonial colleges, it was chartered in 1755 through the efforts of f ...

. Weirich graduated ''

magna cum laude Latin honors are a system of Latin phrases used in some colleges and universities to indicate the level of distinction with which an academic degree has been earned. The system is primarily used in the United States. It is also used in some Sout ...

'' in 1996 from

Rice University William Marsh Rice University, commonly referred to as Rice University, is a Private university, private research university in Houston, Houston, Texas, United States. Established in 1912, the university spans 300 acres. Rice University comp ...

, with a bachelor's degree in computer science. At Rice, she became interested in programming languages through an undergraduate research project with

Matthias Felleisen Matthias Felleisen is a German-American computer science professor and author. He grew up in Germany and immigrated to the US in his twenties. He received his PhD from Indiana University Bloomington under the direction of Daniel P. Friedman. ...

. She moved to

Cornell University Cornell University is a Private university, private Ivy League research university based in Ithaca, New York, United States. The university was co-founded by American philanthropist Ezra Cornell and historian and educator Andrew Dickson W ...

for her graduate studies, completing her Ph.D. in 2002. Her dissertation, ''Programming with Types'', was supervised by

Greg Morrisett John Gregory Morrisett is a computer science scholar who has been serving as dean and vice provost of Cornell Tech in New York City since June 2019. Previously he served as dean for computing and information science at Cornell University in Itha ...

. She joined the University of Pennsylvania faculty in 2002. Weirich's work on type inference has been incorporated into the

Glasgow Haskell Compiler The Glasgow Haskell Compiler (GHC) is a native or machine code compiler for the functional programming language Haskell. It provides a cross-platform software environment for writing and testing Haskell code and supports many extensions, libra ...

. 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.

References

External links

Home page
* {{DEFAULTSORT:Weirich, Stephanie Year of birth missing (living people) Living people American computer scientists American women computer scientists Programming language researchers Rice University alumni Cornell University alumni University of Pennsylvania faculty American women academics 21st-century American women University of Pennsylvania Department of Computer and Information Science faculty