Stephanie Weirich

Stephanie Weirich is a Rice CS alumna and a professor at the University of Pennsylvania.

Stephanie Weirich (B.A. ’96) is a Professor of Computer and Information Science at the University of Pennsylvania. Her research areas include functional programming, type systems, machine-assisted theorem proving and dependent types.  She and her students have made significant contributions to the design of the Haskell language and its type system.  Stephanie was recognized by the SIGPLAN Milner Young Researcher award (2016), a Microsoft Outstanding collaborator award, and a most influential ICFP paper award (awarded in 2016, for 2006). She has served as the program chair of POPL 2018, ICFP 2010, and the 2009 Haskell Symposium and was a co-founder of the Programming Languages Mentoring Workshop.

Stephanie often teaches Penn’s introductory Computer Science course “Programming Languages and Techniques I”, as well as graduate courses on Advanced Programming, Software Foundations, and Special Topics in Programming Languages research.

She has also served as Penn’s undergraduate chair for the CIS department and was succeeded in that role by another Rice University CS alumnus, Andreas Haeberlen.

Following her B.A. in CS at Rice University, she earned her M.S. and Ph.D. in CS at Cornell University.