报告摘要：

Quantum circuit transformation (QCT, a.k.a. qubit mapping) is a critical step in quantum circuit compilation. Typically, QCT is achieved by finding an appropriate initial mapping and using SWAP gates to route the qubits such that all connectivity constraints are satisfied. The objective of QCT can be to minimise circuit size or depth. In this talk, I will introduce the QCT problem from the viewpoint of graph theory and then outline progress in the past few years and identify potential research directions.

报告人简介：

Sanjiang Li received his B.Sc. and PhD in mathematics from Shaanxi Normal University in 1996 and Sichuan University in 2001. He is a full professor in the Centre of Quantum Software & Information (QSI), Faculty of Engineering & Information Technology, University of Technology Sydney (UTS), Australia. Before joining UTS, he worked in the Computer Science and Technology Department, Tsinghua University, from September 2001 to December 2008. He was an Alexander von Humboldt research fellow at Freiburg University from January 2005 to June 2006; held a Microsoft Research Asia Young Professorship from July 2006 to June 2009; and an ARC Future Fellowship from January 2010 to December 2013.

His past research interests were mainly in knowledge representation and artificial intelligence. The main objective of this research was to establish expressive representation formalism of spatial knowledge and provide effective reasoning mechanisms. Recently, he is also interested in research in quantum artificial intelligence. The aim is to develop quantum algorithms for solving AI problems and apply AI methods to solve classical problems in quantum computing.

Some of his most important work has been published in international journals like Artificial Intelligence, IEEE TC, IEEE TCAD, ACM TODAES and international conferences like IJCAI, AAAI, KR, DAC, ICCAD.