**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

- A linear/producer/consumer model of classical linear logic, Paykin, J. | Zdancewic, S., Mathematical Structures in Computer Science, 2018
- Qwire practice: Formal verification of quantum circuits in coq, Rand, R. | Paykin, J. | Zdancewic, S., Electronic Proceedings in Theoretical Computer Science, EPTCS, 2018
- Technical perspective building bug-free compilers, Zdancewic, S., Communications of the ACM, 2018
- A Formal Equational Theory for Call-By-Push-Value, Rizkallah, C. | Garbuzov, D. | Zdancewic, S., Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018
- Position paper: the science of deep specification, Appel, A.W. | Beringer, L. | Chlipala, A. | Pierce, B.C. | Shao, Z. | Weirich, S. | Zdancewic, S., Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2017