报告人简介：

Sanjiang Li is a full professor at the Centre for Quantum Software & Information (QSI) at the University of Technology Sydney (UTS), Australia. He received his B.Sc. and PhD in mathematics from Shaanxi Normal University and Sichuan University in 1996 and 2001, respectively. Before joining UTS, he worked at Tsinghua University from 2001 to 2008. He was an Alexander von Humboldt research fellow at Freiburg University and held prestigious positions such as a Microsoft Research Asia Young Professorship and an ARC Future Fellowship.

His early research focused on knowledge representation and artificial intelligence, particularly in spatial knowledge representation and reasoning. Recently, his work has expanded into quantum circuit compilation and verification, as well as quantum AI.

Professor Li's research has been published in leading journals and conferences, including Artificial Intelligence, IEEE TC, IEEE TCAD, ACM TODAES, and AAAI, IJCAI, DAC, ICCAD.

报告简介：

Distributed quantum computing (DQC), where multiple small quantum nodes are connected via quantum links, offers a promising path to scaling beyond the limits of today’s single-chip devices. Realising this potential, however, depends critically on quantum compilation—the translation of high-level quantum algorithms into hardware-executable instructions that account for limited connectivity, noise, and inter-node communication.

This talk introduces the basics of circuit compilation for single-core quantum computers before focusing on new challenges in distributed settings. I will discuss initial qubit mapping via graph partitioning, communication methods such as teleportation and cat-state protocols, and batching strategies like AutoComm. I will also highlight open research directions that may define the emerging frontier of compilation for distributed quantum computing.