Stephanie Weirich

Professor of Computer and Information Science
School of Engineering and Applied Science
University of Pennsylvania

Ph.D. (2002) Computer Science
Cornell University

phone: 215.573.2821
fax: 215.898.0587
email: sweirich at cis.upenn.edu
office: 510 Levine Hall

Fall 2016 office hours: make an appointment using the link below
Appointment availability

Undergraduate Curriculum: If you have questions regarding Penn's undergraduate programs in Computer Science, visit the CIS advising forum or send email to .

Quick Links

• My publications (including drafts)
• My github
• Slides and videos from talks and tutorials
• CV and Research summary
• Penn's Programming Languages group (plclub)
  

News and recent activities

• NSF funds the DeepSpec project!
• Richard Eisenberg will join Bryn Mawr college as an assistant professor
• Video from Compose 2016 on Dynamic Typing in GHC
• Slides from (US) Typelevel Summit 2016 on Dependently-Typed Haskell
• Ron Garcia and I organized a mentoring workshop, colocated with ICFP 2015
• Submit papers to TFP 2016
• Submit papers to PPDP 2016
• Submit papers to ESOP 2017

Current Ph. D. Students

• Richard A. Eisenberg, Sep. 2016
  • Dependent Types in Haskell: Theory and Practice
• Kenny Foner
• Antoine Voizard
• Antal Spector-Zanbusky

PhD Graduates

• Vilhelm Sjöberg, May 2015
  • A Dependently Typed Language with Nontermination
  • Current employment: Yale University
• Brent Yorgey, Dec. 2014
  • Combinatorial Species and Labelled Structures
  • Current employment: Hendrix College
• Chris Casinghino, Dec. 2014
  
  • Combining Proofs and Programs
  • Current employment: Draper Labs
• Dimitrios Vytiniotis, Aug. 2008
  
  • Practical type inference for first-class polymorphism
  • Current employment: MSR Cambridge
    
• Geoffrey Washburn, Dec. 2007
• Principia Narcissus: How to avoid being caught by your reflection
• Current employment: LogicBlox

Recent Courses

• Spring 16 - Programming Languages and Techniques I (CIS 120)
  
• Fall 15 - Advanced Programming (CIS 552)
  
• Spring 15 - Programming Languages and Techniques I (CIS 120)
  
• Fall 14 - Software Foundations (CIS 500)
  
• Spring 14 - Programming Languages and Techniques I (CIS 120)
  
• Fall 13 - Advanced Programming (CIS 552)
  
• Spring 13 - Programming Languages and Techniques I (CIS 120)
  
• Fall 12 - Advanced Programming (CIS 552)
• Spring 12 - Programming Languages and Techniques I (CIS 120)
• Fall 11 - Advanced Programming (CIS 552)
• Spring 11 - Programming Languages and Techniques I (CIS 120)
• Fall 10 - Advanced Topics in Programming Languages (CIS 670)

Contact Information

postal mail:
School of Engineering and Applied Science
Department of Computer and Information Science
Levine Hall
3330 Walnut Street
Philadelphia, PA 19104-6389