Minbo Gao

Minbo Gao

Ph.D. student at the Institute of Software, Chinese Academy of Sciences.
Research interests: quantum algorithms and quantum program logic.

Complete Quantum Relational Hoare Logics from Optimal Transport Duality

A Gilles Barthe, Minbo Gao, Theo Wang, Li Zhou.
LICS 2025 , Paper .