Developing a Quantum Algorithm Verification Tool through Enhanced Quantum Hoare Logic and Assertion Languages - student Calum Holker

Start year: 2025

Summary: This SQA PhD scholarship project aims to develop a scalable and practical verification tool for quantum algorithms by enhancing QHL.

Acknowledgement of Country

UTS acknowledges the Gadigal people of the Eora Nation, the Boorooberongal people of the Dharug Nation, the Bidiagal people and the Gamaygal people, upon whose ancestral lands our university stands. We would also like to pay respect to the Elders both past and present, acknowledging them as the traditional custodians of knowledge for these lands.