CNCC2024
Brief introduction of the forum:
Quantum Computing Software: Time or Advance?
Time: 13:30-17:30, October 26
Venue: Autumn Garden - Classroom Area (West 1)
Note: If there is any change, please refer to the final information on the official website (https://ccf.org.cn/cncc2024).
The forum will focus on topics such as quantum software theory, quantum programming compilation, quantum instruction set, quantum circuit design, quantum program verification, etc., aiming to clarify the hierarchical logical structure and core research problems of quantum software, as well as its urgency and importance in the development of quantum computing.
Similar to classical computing software, quantum computing software is the key link that connects the underlying hardware of quantum computing with the upper quantum algorithm. With the rapid development of quantum hardware and algorithm theory, the development of quantum software has become more and more urgent. At present, major technology companies have successively launched quantum computing cloud platforms, and have made significant progress in the field of quantum algorithm applications and quantum programming languages.
However, unlike classical computing, the superposition of quantum computing can accelerate computation, but it also makes the theory of quantum programs more complex. In addition, quantum computing is more susceptible to interference from environmental noise, resulting in a higher error rate, making the design and verification of quantum programs more difficult than classical programs. Although the existing domestic and foreign quantum computing cloud platforms can perform some computing tasks, the quantum instruction sets adopted by each platform are different, and this difference may be an important reason hindering the development of quantum software.
This forum will focus on the above issues, deeply discuss the current situation and future of quantum computing software, cover quantum software theory, quantum programming and compilation, quantum instruction set, quantum circuit design, quantum program verification and other aspects, analyze the challenges in the development of quantum computing software, and emphasize its urgency and importance.
Forum Agenda
| order | topic | Keynote speaker | unit |
| 1 | Quantum Software: A Superposition of Opportunities and Challenges | Ji Zhengfeng | Tsinghua University |
| 2 | Formal verification of quantum programs | Deng Yuxin | East China Normal University |
| 3 | Algorithm design based on quantum walk | Li Luzhou | Sun Yat-sen University |
| 4 | A novel quantum software instruction set for NISQ computing systems | Fu Xiang | National University of Defense Technology |
| 5 | A Context-Aware Quantum Circuit Analysis and Optimization Framework | Lu Liqiang | Zhejiang University |
Introduction of the chairman and guests of the forum
Chair of the Forum
Sun Xiaoming
He is a distinguished member of CCF, director of the Quantum Computing Professional Committee, and a researcher at the Institute of Computing Technology, Chinese Academy of Sciences
He is a researcher at the Institute of Computing Technology, Chinese Academy of Sciences, director of the Laboratory of Quantum Computing and Algorithm Theory, and a recipient of the National Science Fund for Distinguished Young Scholars. His main research areas are algorithms and computational complexity, quantum computing, etc., and he has won the Wang Xuan Outstanding Young Scholar Award. He is currently the director of the CCF Quantum Computing Committee, a member of the editorial board of Science China: Information Science, Journal of Software, Information and Computation, FCS and other journals, the chairman of the COCOON steering committee of the international academic conference, a member of the Information and Communication Science and Technology Committee of the Ministry of Industry and Information Technology, and the former director of the CCF Theoretical Computer Science Committee.
Co-Chair of the Forum
Kei Takuni
Associate Researcher, Institute of Computing Technology, Chinese Academy of Sciences
He is a member of the CCF Quantum Computing Committee and a member of the CCF Theoretical Computer Committee. His main research interests include: quantum algorithm design, quantum circuit optimization, quantum non-locality, quantum simulation, etc., and he has published more than 20 papers in international journals and conferences in TCAD, PRR, QST and other related fields. He has been awarded the Excellent Doctor of China Institute of Communications and selected into the National Boxin Program. He has presided over a number of projects of the Beijing Natural Science Foundation and the National Natural Science Foundation of China.
Forum Speaker
Ji Zhengfeng
Professor of Tsinghua University
He received his Ph.D. degree from the Department of Computer Science and Technology of Tsinghua University in 2007. He used to be an assistant researcher at the Institute of Software Research, Chinese Academy of Sciences, a postdoctoral fellow at the Institute of Circumferential Theoretical Physics in Canada and the University of Waterloo, a professor at the University of Technology Sydney, Australia, an executive director of the Center for Quantum Software and Information at the University of Technology Sydney, and a professor in the Department of Computer Science and Technology of Tsinghua University, and co-director of the Quantum Software Research Center of Tsinghua University (Department of Computer Science). He studies quantum computing from the perspective of computer science, focusing on quantum algorithms and complexity theory, quantum cryptography, quantum information theory, quantum networks, and quantum software.
Title: Quantum Software: The Superposition of Opportunities and Challenges
Abstract:This report focuses on the research of quantum software, and deeply discusses the unique opportunities and challenges faced by quantum software in the context of the current rapid development of quantum computing. With the rapid development of quantum hardware technology, the strategic importance of quantum software is also increasing, and it has become a key link in promoting the application of quantum computing. By combing the historical background of quantum software research, the report reviews the development of quantum software theory and the construction of industrial ecology, and then points out the core research problems and challenges of quantum software in the future. Through a comprehensive analysis of the "superposition" of opportunities and challenges, the report aims to provide suggestions for the future development of quantum software in academia and industry.
Deng Yuxin
He is a distinguished member of CCF and a professor at East China Normal University
His research interests include concurrency theory, quantum computing, and his representative work includes a "Deng Lemma" written into a textbook by foreign scholars and an English monograph on the theory of probabilistic concurrency. He has published more than 100 papers and 1 textbook. He was an invited speaker at CONCUR 2018.
Title: Formal Verification of Quantum Programs
Abstract:This report introduces three formal methods for quantum program verification, namely mutual simulation test, theorem proof, and Hall logic. First, we use basis simulation to describe the behavioral equivalence relationship of quantum CCS processes, and develop tools to verify the correctness of quantum communication protocols. Secondly, we propose a symbolic reasoning method about the correctness of quantum circuits. It is based on a set of fundamental laws of vectors and matrices, which is suitable for automation in the theorem prover Coq. Finally, we propose a new quantum Hall logic, which introduces the distribution formula to describe the probabilistic properties, which facilitates the local inference of probabilistic behavior, and verifies the correctness of HHL, Shor and other algorithms.
Li Luzhou
He is a distinguished member of CCF, deputy director of the Quantum Computing Committee, and a professor at the School of Computer Science, Sun Yat-sen University
Professor of the School of Computer Science, Sun Yat-sen University, Director of the Institute of Quantum Computing and Software, Deputy Director of the CCF Quantum Computing Committee, CCF Distinguished Member, Distinguished Speaker (2019, 2021, 2022, 2023). His main research interests are quantum algorithms, and he has published more than 80 papers in journals and conferences such as SODA, IANDC, IEEE TIT, and ICML.
Title: Algorithm Design Based on Quantum Walk
Abstract:Compared with the classical algorithm field, there is a great lack of methodology in the design of quantum algorithms, and there are basically not many mature "routines" to follow. Fortunately, in the past 20 years, quantum walking has developed into an important model for quantum algorithm design, and many quantum algorithms with acceleration advantages are designed based on quantum walking. After reviewing the historical development process in this area, this report will focus on the preliminary research results of the research team in this field in recent years, including the design of quantum walk-based algorithms for spatial search, spherical center search, derandomization and other problems, as well as the implementation of efficient circuits for quantum walk.
Fu Xiang
Associate Researcher of HPCL, School of Computer Science, National University of Defense Technology
It is committed to building a new generation of independent and controllable quantum control software and hardware ecological environment, mainly researching quantum programming and compilation, quantum measurement and control software and control (micro) architecture. Quingo, the world's first executable quantum computing instruction set and quantum control microarchitecture, and advanced quantum-classical heterogeneous programming framework Quingo, have been published in MICRO, HPCA, DAC, ACM TQC and other computer architecture summits/journals, won the MICRO-50 Best Paper Award, and one article was selected as Top Picks'2017.
Title: A Novel Quantum Software Instruction Set for NISQ Computing Systems
Abstract:Quantum instruction set or quantum assembly language is an interface between quantum software and hardware. The existing quantum assembly language is difficult to take into account the requirements of expression ability (such as real-time classical computing, timing control, waveform control), portability, and simplicity, and it is difficult to support applications such as dynamic quantum circuits and quantum error correction for different cybernetic electronic systems. In order to solve this problem, we propose a lightweight instruction-based quantum assembly, in order to realize the flexibility and portability of quantum software and provide a new possibility for the docking of quantum software and hardware.
Lu Liqiang
Researcher at the School of Computer Science, Zhejiang University
Researcher and doctoral supervisor of the School of Computer Science, Zhejiang University. He graduated from Peking University with a bachelor's degree and a Ph.D., and his research interests are computer architecture, artificial intelligence chips, quantum computing, etc. In the past five years, he has published more than 30 papers in the field of architecture and EDA, and organized quantum computing-related tutorials at the four architecture conferences (the first time in Chinese mainland). He has presided over projects such as the National Key R&D Program-Youth Project, the National Science Foundation General Project, the Zhejiang Provincial Key R&D Program, and Huawei's Horizontal Cooperation Project, and has won honors such as Global Sustainable Development Youth, Peking University Youbo, CCF Architecture Youbo, and Zhejiang University-Huawei Qizhen Outstanding Young Person.
Title: A Context-Aware Framework for Quantum Circuit Analysis and Optimization
Abstract:In the face of the heterogeneous decoupling of the current quantum computer architecture and the continuous expansion of the scale of quantum chips, quantum software greatly determines the execution efficiency, execution accuracy and execution performance of quantum computers. However, the current quantum software optimization techniques are often accompanied by a large amount of classical computational overhead, and it is difficult to obtain high-quality optimization circuits. This report introduces a vectorization-based intermediate representation of quantum circuits, and explains that the context information of quantum circuits plays an important role in the analysis and compilation of quantum circuits.
About CNCC2024
CNCC2024 will be held on October 24-26 in Hengdian Town, Dongyang City, Zhejiang Province, with the theme of "Developing New Quality Productivity, Computing Leads the Future". The three-day conference included 18 invited reports, 3 conference forums, 138 thematic forums, 34 thematic activities and more than 100 exhibitions. More than 800 speakers, including Turing Award winners, academicians of the Chinese Academy of Sciences and the Chinese Academy of Sciences, top scholars at home and abroad, and well-known entrepreneurs, looked forward to cutting-edge trends and shared their innovative achievements. More than 10,000 people are expected to attend.