Théo Chengkai Wang (王程凯)

Théo Chengkai Wang (王程凯)

Research Assistant at the University of Cambridge.

Completeness for Quantum Relational Hoare Logics (WIP)

Research Internship Project, 2024, with Gilles Barthe.

This project concerns Relational Hoare Logics for quantum programs. We want to give a quantum relational Hoare logic using Hermitian predicates which is complete with respect to some weak notion of completeness, following the approach taken by Avanzini et al..