معرفی
Nickolai Zeldovich is the Joan and Irwin M. Jacobs Professor of Electrical Engineering and Computer Science at MIT, and a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL). He received his PhD from Stanford University in 2008 and focuses on building practical secure systems, including encrypted databases, undefined behavior detection tools, formally verified file systems, and cryptocurrency protocols. His work spans both theoretical and applied aspects of computer security and distributed systems.
- Research interests include:
- Secure system design
- Distributed consensus mechanisms
- Formal verification of software/hardware
- Cryptographic protocols
- Privacy-preserving web technologies
Publications & Verification Tools
Recent work focuses on modular verification of complex systems, including:
- Shipwright (2025): Byzantine-fault-tolerant distributed system verification
- PoWER (2025): Crash consistency verification framework
- K2 Architecture (2023): Trustworthy hardware security modules
- Grove (2023): Separation-logic-based verification library
- Tiptoe (2023): Private web search protocols
Major Awards
- Best paper award, ACM SOSP (2011, 2015, 2017)
- Sloan Research Fellowship (2010)
- NSF CAREER award (2011)
- MIT Jamieson Award for Teaching (2024)
Active in multiple startup ventures including Algorand (cryptocurrency), MokaFive (virtualization), and PreVeil (end-to-end encryption).
۰مقاله منتشرشده
