Stephanie Weirich ( ) is an American computer scientist specializing in

type theory In mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundat ...

type inference Type inference 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 branches of computer science and linguistics ...

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

. She is a professor of computer science at the

University of Pennsylvania The University of Pennsylvania (also known as Penn or UPenn) is a private research university in Philadelphia. It is the fourth-oldest institution of higher education in the United States and is ranked among the highest-regarded universitie ...

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

'' in 1996 from

Rice University William Marsh Rice University (Rice University) is a Private university, private research university in Houston, Houston, Texas. It is on a 300-acre campus near the Houston Museum District and adjacent to the Texas Medical Center. Rice is ranke ...

, 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 when he was 21 years old. He received his PhD from Indiana University under the direction of Daniel P. Friedman. Afte ...

. She moved to

Cornell University Cornell University is a private statutory land-grant research university based in Ithaca, New York. It is a member of the Ivy League. Founded in 1865 by Ezra Cornell and Andrew Dickson White, Cornell was founded with the intention to teach an ...

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

Greg Morrisett John Gregory Morrisett is the Jack and Rilla Neafsey Dean and Vice Provost of Cornell Tech. He previously was Dean of the Faculty of Computing and Information Science at Cornell University. Morrisett was the Allen B. Cutting Professor of Compute ...

. 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 an open-source native code compiler for the functional programming language Haskell. It provides a cross-platform environment for the writing and testing of Haskell code and it supports numerous extensions, ...

. She has also been a leader of the

POPLmark challenge In programming language theory, the POPLmark challenge (from "Principles of Programming Languages benchmark", formerly Mechanized Metatheory for the Masses!) (Aydemir, 2005) is a set of benchmarks designed to evaluate the state of automated reas ...

for benchmarking type systems of programming languages. Weirich won the Robin Milner Young Researcher Award of

ACM SIGPLAN SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages. Conferences * POPL, Principles of Programming Languages (POPL) * PLDI, Programming Language Design and Implementation (PLDI) * International Sym ...

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