Quang Dao

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