Scholar
Steve Zdancewic
Google Scholar ID: 19kNRU0AAAAJ
Professor of Computer and Information Science, University of Pennsylvania
Citations & Impact
Citations
3,977
H-index
31
i10-index
62
Publications
20
Co-authors
74
list available
Publications
Resume (English only)
Research Experience
- Schlein Family President's Distinguished Professor and Associate Chair, Department of Computer and Information Science, University of Pennsylvania
- Co-leads Penn's programming languages research group (PL Club) with Benjamin Pierce and Stephanie Weirich
- Involved in the Vellvm project: developing operational semantics for LLVM IR using Coq to build highly reliable program transformations and optimizations
- Participates in the CLEAR project (with Galois Inc.) under the TRACTOR program, aiming to automate translation of legacy C code to Rust
- Contributed to the NSF Expedition DeepSpec: applying Coq formalization to full functional correctness verification of systems software (compilers, OS, databases)
- Worked on semantics and verification for quantum programming, including Coq development of QWIRE
- Engaged in the ExCAPE NSF Expedition on Computer-Augmented Program Engineering, advancing software synthesis
- Developed SoftBound + CETS: software instrumentation for complete memory safety in C with minimal source changes
- Researched security-oriented programming languages to enable secure-by-construction software development
