Bryan Parno is the Kavčić-Moura Professor of Electrical & Computer Engineering and Computer Science at Carnegie Mellon University, and a Senior Member of ACM and IEEE. After receiving a Bachelor's degree from Harvard College, he completed his PhD working with Adrian Perrig at Carnegie Mellon University, where his dissertation won the 2010 ACM Doctoral Dissertation Award. He then spent six years as a Researcher in Microsoft Research before returning to CMU, where he was subsequently honored with the Joel and Ruth Spira Excellence in Teaching Award.
Bryan's research is primarily focused on investigating long-term, fundamental improvements in how to design and build secure systems. In 2011, he was selected for Forbes' 30-Under-30 Science List. He formalized and worked to optimize cryptographically verifiable computation, receiving a Best Paper Award (and later a Test-of-Time Award) at the IEEE Symposium on Security and Privacy for his advances. He coauthored a book on Bootstrapping Trust in Modern Computers. His work in that area has been incorporated into security enhancements in Intel CPUs, and he received an Intel Test of Time Award for it in 2024. His research into security for new application models was incorporated into Windows and iOS and received two Best Paper Awards. He then extended his interest in bootstrapping trust to the problem of building practical, formally verified secure systems, for which he received four Distinguished Paper Awards. Some of the resulting verified code has found its way into Microsoft, Firefox, Python, the OpenTitan security chip, and the Linux kernel. His other research interests include user authentication, secure network protocols, and security in constrained environments.