Stephan Zdancewic

Associate Chair, CIS

Schlein Family President’s Distinguished Professor

Computer and Information Science

Office: Levine Hall, 511

Research Areas

  • Programming Languages
  • Security

Awards

2023: Distinguished Paper Award, ECOOP

2020: Distinguished Paper Award, POPL

2018: Lindback Award for Distinguished Teaching

2009: Alfred P. Sloan Research Fellowship

2004: NSF CAREER Award

Projects/Papers

Structural temporal logic for mechanized program verification
A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction
An Opportunistically Parallel Lambda Calculus for Performant Composition of Large Language Models

Students

PhDs:

Calvin Beck

Lawrence Dunn (co-advised with Val Tannen)

Joey Velez-Ginorio (co-advised with Konrad Kording)

Stephen Mell (co-advised with Osbert Bastani)

Nicholas Rioux