Stephanie Weirich

ENIAC President’s Distinguished Professor

Computer and Information Science

Office: Levine Hall 510

Research Areas

  • Programming Languages

Awards

2016: Most Influential Paper Award, International Conference on Functional Programming

2016: SIGPLAN Robin Milner Young Researcher Award

2016: Microsoft Outstanding Collaborator

2007-2008: DARPA Computer Science Study Panel

2004: NSF CAREER Award

Projects/Papers

Effects and Coeffects in Call-by-Push-Value
Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
Internalizing Indistinguishability with Dependent Types

Students

PhDs:

Yiyun Liu

Jonathan Chan

Cassia Torczon (co-advised with Benjamin Pierce)

Daniel Sainati