Stephanie Weirich
Professor at University of Pennsylvania
Philadelphia, Pennsylvania, United States
Summary
👤
Senior🎓
Top SchoolStephanie Weirich is a professor of computer science at the University of Pennsylvania with over two decades of academic experience and a 12-year professional track record focused on programming languages, type systems, and functional programming. Her research bridges language design and formal verification, with deep expertise in ML and Haskell and a penchant for generic programming. She has held visiting positions at Cambridge and Microsoft and brings practical teaching and industry internship experience dating back to work on the Moby language at Lucent. Colleagues know her as someone who prefers proving properties of code over casual coding, reflecting a rigorous, proof-oriented approach to software correctness. Based in Philadelphia, she combines theoretical depth from a Cornell Ph.D. with an approachable commitment to mentoring and curriculum development.
12 years of coding experience
B.A., Computer Science, B.A., Computer Science at Rice UniversityPh. D., Computer Science, Ph. D., Computer Science at Cornell University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (93)
agda10
unbound10
ott10
servant10
haskell10
imperative10
dependent-types10
hackage10
substitution10
cabal10
homotopy-type-theory10
wolfram-language10
type-theory10
stack-based10
ghc10
Programming languages (9)
Github contributions (5)
plclub/cis670-16fa
Aug 2016 - Oct 2022
Contributions:114 commits, 11 PRs, 97 pushes in 6 years 2 months
fallprogramming-languagescispennlanguages
sweirich/replib
May 2015 - Oct 2022
Replib: generic programming & Unbound: generic treatment of binders
Contributions:1 review, 49 commits, 8 PRs in 7 years 6 months
unboundgenericagdagenericsbinders
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.