معرفی
Stephan Zdancewic is the Schlein Family President’s Distinguished Professor and Associate Chair in the Department of Computer and Information Science. His research primarily focuses on Programming Languages and Security, with emphasis on formal verification, language-based security mechanisms, and compiler design. He leads projects in quantum computing verification, parallel lambda calculus, and LLVM formalization.
Research Interests:
- Formal methods for program verification and synthesis
- Security in programming language design and low-level systems
- Parallel and concurrent programming models
- Quantum computing reliability and error correction
- Educational initiatives in programming languages
His recent publications demonstrate a strong focus on bridging theoretical computer science with practical applications, particularly in verification tools (e.g., Vellvm for LLVM), quantum error correction, and parallel computation models for AI systems. Work frequently appears in top venues like POPL and ECOOP.
Awards & Honors:
- Distinguished Paper Award, ECOOP (2023)
- Distinguished Paper Award, POPL (2020)
- Lindback Award for Distinguished Teaching (2018)
- Alfred P. Sloan Research Fellowship (2009)
- NSF CAREER Award (2004)
He advises PhD students including Calvin Beck, Lawrence Dunn, Joey Velez-Ginorio, Stephen Mell, and Nicholas Rioux. He directs the REU Site for undergraduate research in programming languages (REPL), emphasizing mentorship and formal methods education.
حوزههای پژوهشی
