Sanjiang Li

Professor Sanjiang Li is affiliated with the University of Technology, Sydney (UTS) as a Professor in the Faculty of Engineering and Information Technology, specifically within the Centre for Quantum Software and Information. With a PhD in Mathematics from Sichuan University and a BSc from Shaanxi Normal University, his research spans quantum computation, knowledge representation and reasoning, and formal verification of quantum systems.

His recent work focuses on quantum circuit transformation, including novel methods like adaptive divide-and-conquer and Monte Carlo Tree Search frameworks. He has advanced symbolic verification techniques using tensor decision diagrams and explored classical-quantum hybrid algorithms for resource-efficient training.

Dr. Li has received prestigious awards such as the ARC Future Fellowship and Alexander von Humboldt Research Fellowship. He supervises PhD students including Calum Holker and Guangxi Li, and contributes to quantum software development through funded projects like the Sydney Quantum Academy and ARC Discovery Projects.