
Quang Dao
Graduate Student, CMU
Quang Vu Dao is a PhD student at Carnegie Mellon University, advised by Aayush Jain and Riad Wahby. He is interested in cryptography and its intersection with formal verification. His current projects include zkLib, a library for formally verified cryptographic proof systems written in the Lean theorem prover. He is supported by the Quad Fellowship, the Cylab Presidential Fellowship, and funding from the Ethereum Foundation.
Program Visits
Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation, Summer 2025, Visiting Graduate Student