معرفی
Bryan Parno is a Professor at Carnegie Mellon University, holding the Kavčić-Moura Chair in Electrical and Computer Engineering and Computer Science. His work bridges theoretical and practical aspects of secure systems verification, focusing on formal methods to ensure rigorous security guarantees.
- Research Areas: Secure systems, formal verification, cryptography, concurrency, distributed systems
- Key Contributions: Development of Verus, Leaf, IronFleet, and FastVer2 for verified secure systems
- Awards: Jay Lepreau Best Paper (OSDI 2025), IEEE Cybersecurity Award for Practice (2024), Distinguished Artifact Award (SOSP 2024)
His recent publications demonstrate a focus on scalable formal verification across diverse domains, including Rust programming, WebAssembly sandboxing, and cryptographic protocols. Tools like Verus and OwlC enable provably correct implementations with performance optimizations.
Scientific recognition includes:
- ACM Doctoral Dissertation Award (2011)
- IEEE Golden Core Recognition (2023)
- Forbes 30-Under-30 (2011)
- Sloan Research Fellowship (2018)
- Multiple best paper awards at USENIX Security, CAV, and IEEE S&P
Parno advises PhD students in secure systems and contributes to critical infrastructure projects like Project Everest. His lab develops open-source tools for verified cryptography and systems programming.
