Stephan A. Zdancewic

Stephan A. Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair of the Department of Computer and Information Science at the University of Pennsylvania. His research focuses on programming languages, computer security, and formal verification. He leads projects like Vellvm (verified LLVM) and QWIRE (quantum programming logic), and contributes to initiatives such as the DeepSpec collaboration.

Teaching roles include Programming Languages and Techniques I (CIS 120), Compilers (CIS 341), and Computer and Network Security (CIS 551). He has advised numerous PhD and master’s students, many of whom now hold academic or industry positions globally.

Zdancewic has received multiple awards, including the Lindback Award for Teaching (2018), a Sloan Fellowship (2009), and Best Paper awards at SOSP (2001) and ICFP (1999). He serves as General Chair for POPL 2025 and is active in the programming languages and security research communities.