معرفی
Stephanie Weirich is the ENIAC President's Distinguished Professor in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science. Her research focuses on programming languages, with emphasis on dependent types, formal verification, and functional programming semantics. She leads Penn's Programming Languages Group (PLClub) and teaches courses including Advanced Programming (CIS 5520) and Programming Languages and Techniques (CIS 120).
Research Areas: Her work spans theoretical foundations and practical implementations, including type systems for security, mechanized program verification, cost analysis for lazy evaluation, and language-based techniques for probabilistic programming. Recent projects explore indistinguishability in dependent types and effects systems for resource-aware computation.
Honors:
- SIGPLAN Robin Milner Young Researcher Award (2016)
- NSF CAREER Award (2004)
- Microsoft Outstanding Collaborator (2016)
- Most Influential Paper Award, ICFP (2016)
- DARPA Computer Science Study Panel (2007-2008)
Advising: Mentored 15+ PhD graduates including Richard Eisenberg (2016 Reynolds Award winner) and Vilhelm Sjöberg. Current students work on stratified type theory and mechanized logical relations. Secured grants from NSF and DARPA for research in dependently typed systems.
Collaborations: Leads the PLClub research group; collaborates with industry (Microsoft) on Haskell extensions and verification tools like Hs-to-Coq.
