QSI: A Quantum Programming Environment

Abstract

This paper describes a quantum programming environment, named $Q|SIångle$. It is a platform embedded in the .Net language that supports quantum programming using a quantum extension of the $mathbfwhile$-language. The framework of the platform includes a compiler of the quantum $mathbfwhile$-language and a suite of tools for simulating quantum computation, optimizing quantum circuits, and analyzing and verifying quantum programs. Throughout the paper, using $Q|SIn̊gle$ to simulate quantum behaviors on classical platforms with a combination of components is demonstrated. The scalable framework allows the user to program customized functions on the platform. The compiler works as the core of $Q|SIrg̊le$ bridging the gap from quantum hardware to quantum software. The built-in decomposition algorithms enable the universal quantum computation on the present quantum hardware.

Publication
Symposium on Real-Time and Hybrid Systems, Lecture Notes in Computer Science
Xin Wang
Xin Wang
Associate Professor

Prof. Xin Wang founded the QuAIR lab at HKUST(Guangzhou) in June 2023. His research primarily focuses on better understanding the limits of information processing with quantum systems and the power of quantum artificial intelligence. Prior to establishing the QuAIR lab, Prof. Wang was a Staff Researcher at the Institute for Quantum Computing at Baidu Research, where he concentrated on quantum computing research and the development of the Baidu Quantum Platform. Notably, he spearheaded the development of Paddle Quantum, a Python library designed for quantum machine learning. From 2018 to 2019, Prof. Wang held the position of Hartree Postdoctoral Fellow at the Joint Center for Quantum Information and Computer Science (QuICS) at the University of Maryland, College Park. He earned his doctorate in quantum information from the University of Technology Sydney in 2018, under the guidance of Prof. Runyao Duan and Prof. Andreas Winter. In 2014, Prof. Wang obtained his B.S. in mathematics (with Wu Yuzhang Honor) from Sichuan University.