Yuxi Zheng

Yuxi Zheng is a Ph.D. student in theoretical computer science at EPFL's Laboratory for Computation Security, advised by Alessandro Chiesa.

Her research interests include post-quantum and quantum cryptography, proof systems, and formal verification. She received her B.S. in Mathematics from Princeton University in 2023.

Recent work includes quantum advantage in proof systems without entanglement, post-quantum security for succinct non-interactive reductions, and Lean formalization of PCP constructions.

Official links: EPFL profile, Google Scholar, GitHub.