معرفی
Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair at the University of Pennsylvania, affiliated with the School of Engineering and Applied Science, Department of Computer and Information Science. He is a leading researcher in programming languages and computer security.
- University: University of Pennsylvania
- Department: Computer and Information Science
- Academic Rank: Professor
Research Interests:
- Programming Languages
- Formal Verification
- Computer Security
- Quantum Programming
- Type Theory
- Secure Concurrent Systems
Recent Work Trends focus on Coq for formal verification of low-level systems (e.g., LLVM), quantum circuits, and language-based security mechanisms. His work bridges theoretical foundations with practical implementations, emphasizing correctness and security in distributed systems.
Scientific Awards:
- Distinguished Paper Awards (ECOOP 2023, POPL 2020)
- NSF CAREER award (2004)
- Alfred P. Sloan Fellow (2009-2010)
- Christian R. and Mary F. Lindback Award for Distinguished Teaching (2018)
Advising: Current Ph.D. students include
- Calvin Beck
- Noé De Santo
- Stephen Mell (co-advised with Osbert Bastani)
- Francis Rinaldi
- Joey Velez-Ginorio (co-advised with Konrad Kording)
۰مقاله منتشرشده
