Stephan A. Zdancewic
Associate Professor
Computer and Information Science (CIS)
Honors and Awards: Sloan Research Fellowship - 2009, NSF CAREER Award - 2004
Research Expertise: Programming Languages | Security
Steve's research focuses on the problem of building software that is reliable, robust, and secure by construction. He draws on techniques from type theory, logic, and formal methods to develop programming languages that enforce strong information-flow and authorization policies in dynamic, distributed environments. His recent projects have developed techniques for incorporating robust declassification, dynamic principals, and cryptographic enforcement of authorization policies into a security-oriented language called AURA. Steve is also interested in machine-checked theorem proving, concurrent programming, and functional languages.
Education:
PhD Computer Science 2002 - Cornell University
MS Computer Science 2000 - Cornell University
BS Computer Science & Mathematics 1996 - Carnegie Mellon University
Recent Publications 
- Mechanized verification of computing dominators for formalizing compilers, Zhao, J. | Zdancewic, S., Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012
- Watchdog: Hardware for safe and secure manual memory management and full memory safety, Nagarakatte, S. | Martin, M.M.K. | Zdancewic, S., Proceedings - International Symposium on Computer Architecture, 2012
- Formalizing the LLVM intermediate representation for verified program transformations, Zhao, J. | Nagarakatte, S. | Martin, M.M.K. | Zdancewic, S., Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 2012
- Dependent interoperability, Osera, P.-M. | Sjöberg, V. | Zdancewic, S., Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 2012
- Formalizing the LLVM intermediate representation for verified program transformations, Zhao, J. | Nagarakatte, S. | Martin, M.M.K. | Zdancewic, S., ACM SIGPLAN Notices, 2012