Prof. Stephanie Weirich — Research Profile
University of Pennsylvania · Computer and Information Science
Graduate application deadlines
Computer and Information Science
Computer and Information Science, Ph.D.
Fall 2027Application deadline
Dec 15, 2026 23:59 EST
Computer & Information Science, MSE
Fall 2027Early Application Deadline
Nov 1, 2026
Closed
Application deadline
Regular Application Deadline
Feb 1, 2027
Source: gradadm.seas.upenn.eduChecked Nov 2, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs. Jot a one-line note under each paper below — Application prep gathers your notes into an outline for your email to the PI and your statement of purpose. You do the writing; no AI.
What to prepare before emailing a PIAbout
Prof. Stephanie Weirich at University of Pennsylvania Computer and Information Science lists Compilers and Program Analysis, Formal Methods and Logic, Programming Languages as their registered research area.
Research keywords
Recent papers
- Commuting Conversions and Join Points for Call-by-Push-ValueProceedings of the ACM on Programming Languages · Apr 10
- Algorithmic Conversion with Surjective Pairing: A Syntactic and Untyped ApproachProceedings of the ACM on Programming Languages · Jan 8
- Typing StrictnessProceedings of the ACM on Programming Languages · Jan 8
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Logic, programming, and type systems
Zachary Tatlock Lab
University of Washington · Paul G. Allen School of Computer Science & Engineering
egg: Fast and Extensible Equality SaturationCommunications of the ACM · Jul 29Cyrus Omar Lab
University of Michigan · Computer Science and Engineering (Division of the Department of Electrical Engineering and Computer Science)
Bidirectional Type SlicingPreprintarXiv (Cornell University) · Jul 13Clark Barrett Lab
Stanford University · Computer Science
CSLib: Building a Platform for AI-assisted Formal Verification in LeanOAPEN (The OAPEN Foundation) · Sep 1
Other labs in this department
- Aaron Roth Lab
Machine Learning and Artificial Intelligence, Algorithmic Fairness, Data Privacy, AI Incentives, Computational Social Science, Algorithms and Computational Complexity
- Andreas Haeberlen Lab
Algorithmic Fairness, Data Privacy, AI Incentives, Distributed Systems, Networks, Operating Systems, Computer Security and Cryptography
- Andrew Head Lab
Human-Computer Interaction
- Anindya De Lab
Algorithms and Computational Complexity
- Benjamin C. Lee Lab
Machine Learning and Artificial Intelligence, Computer Architecture and Quantum Computing Systems
- Benjamin C. Pierce Lab
Data Science and Discovery Platforms, ML and Agentic Systems, Neurosymbolic Systems, Databases, Algorithmic Fairness, Data Privacy, AI Incentives, Compilers and Program Analysis, Computer Security and Cryptography, Formal Methods and Logic, Programming Languages