Moving into 2018, UTS:QSI continued its trajectory of excellence.

Moving into 2018, UTS:QSI continued its trajectory of excellence. Six more papers were accepted for the 21st Quantum Information Processing series, QIP 2018, underscoring its sustained leadership in the field. But perhaps one of the most impactful acceptances came at POPL 2018, the Principles of Programming Languages conference. Here, a groundbreaking paper titled "Algorithmic Analysis of Termination Problems for Quantum Programs," authored by Mingsheng Ying and coauthored by CQSI alumni Dr. Yangjia Li, was accepted. This pivotal research tackled critical issues in the reliability and formal verification of quantum software, laying essential groundwork for future quantum application development.