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.

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

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 Robin Milner Young Researcher Award of ACM SIGPLAN in 2016.[4]

References
  1. Curriculum vitae (PDF), retrieved 2019-09-05
  2. "Interview with Stephanie Weirich", People of Programming Languages, Carnegie Mellon University, 2018, retrieved 2019-09-05
  3. Stephanie Weirich at the Mathematics Genealogy Project
  4. Robin Milner Young Researcher Award, ACM SIGPLAN, retrieved 2019-09-05
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.