Abstract Quantum computing has emerged as a disruptive technology with the potential to revolutionize various industries. However, developing software for quantum computers requires a paradigm shift in traditional software engineering approaches. This tutorial addresses the challenges in quantum software engineering and explores state-of-the-art methods and techniques. Participants will gain insights into developing reliable, robust quantum software systems while accounting for the unique characteristics of quantum systems. The tutorial fosters collaboration between researchers and practitioners, providing a platform to exchange ideas, tools, and experiences in quantum software engineering.
Brief Table of Contents:
- Basic Issues in Quantum Software Engineering
- Quantum Programming Languages and Frameworks
- Quantum Software Development Process
- Quantum Software Testing, Debugging, and Verification
- Future Directions in Quantum Software Engineering
Short Bio:
Jianjun Zhao is a professor in the Faculty of Information Science and Electrical Engineering at Kyushu University, Japan. He also holds a joint appointment at the Quantum Computing Systems Center at Kyushu University. He received his B.E. from Tsinghua University and his Ph.D. from Kyushu University. His research interests include software engineering, programming languages, and quantum software engineering. His current research focuses on developing methods and tools to improve the reliability and quality of quantum software. He serves as an Associate Editor of ACM Transactions on Software Engineering and Methodology (TOSEM).