UTS site search
Quantum Computation Laboratory
The next revolution in computing power is still in its infancy, but the Quantum Computation Laboratory is at this precipice, investigating the relationship between quantum-mechanical phenomena and information.
As with all pioneering efforts, this field presents many challenges. How to employ the laws of physics that apply to the sub-atomic world given our existence is macroscopic; determining the fundamental physical limits of our ability to process and transmit information; and where quantum technology might be applied beyond traditional concepts of computing are perhaps the three most notable.
The Quantum Computation Laboratory is committed to researching these problems by studying theoretical questions arising in the field of quantum computation and information. QCL seeks to understand the differences between classical information processing models and their quantum counterparts in order to further reveal the power of quantum computation. It researches and develops quantum software and also seeks to develop a quantitative entanglement theory, and to explore connections between artificial intelligence and quantum computing. This technology will result in next-generation enterprise intelligent information systems and lead to new, efficient quantum algorithms and information processing methods.


To date, the Quantum Computation Laboratory has made the following contributions to research in its field:

BulletTheoretical foundations of quantum programming: Hoare logic for quantum programs, predicate transformer semantics of quantum programs, and refinement calculus for quantum programming.

BulletDistributed and concurrent quantum computing: an algebra processing approach to concurrent quantum computation, formal methods and proof techniques for the design and verification of quantum communication protocols, and the role of entanglement in distributed quantum computing.

BulletQuantum information theory: discrimination of quantum states and operations, entanglement transformations, and zero-error capacity of quantum channels.

BulletSpatial reasoning: establishment of expressive representation formalism of spatial knowledge and provision of effective reasoning mechanisms.

BulletMore than 80 published papers in A*/A international refereed journals ranked, including:

  • ACM Transactions on Computational Logic
  • Artificial Intelligence
  • Acta Informatica
  • IEEE Transactions on Automatic Control
  • IEEE Transactions on Information Theory
  • IEEE Transactions on Computers
  • Information and Computation
  • Journal of Symbolic Logic
  • Multiple AAAI and IJCAI papers
  • Theoretical Computer Science
  • Physical Review Letters
  • Physical Review A