August 1st, 2025

QSE Tokyo 2025

Meeting on Quantum Software Engineering
量子ソフトウェア工学への誘いと先端動向の議論

National Institute of Informatics, Tokyo, Japan

本ミーティングでは、新たな研究領域として注目されている量子ソフトウェア工学(Quantum Software Engineering:QSE)について、国内はもちろん世界中から専門家を招き、動向解説、最新の研究事例紹介、そして今後の方向性についての議論を行います。QSEの研究や応用に関心のある研究者、学生、産業界の皆様のご参加を歓迎します。参加登録(無料)は connpass にて受け付けています。

Quantum Computing (QC) has the potential of solving several complex problems efficiently. The popularity of QC keeps on increasing, and many companies have built their quantum computers using different technologies. While increasing the computational power, companies are also doing progess in reducing noise, one of the main obstacle to the reliable application of quantum computing.

Similarly to classical computing, quantum software is developed to be run on quantum computers. Different quantum programming languages such as Qiskit, Q#, and Quipper have been designed to facilitate the programming of quantum computers. However, the level of abstraction is still at the quantum circuit level, which is too low level and can only be understood by people having specialized background on quantum computing. More and more efforts are now being made to bring novel abstractions to quantum circuits, supporting modularity, etc.

In the realm of quantum computing, Quantum software engineering (QSE) is an emerging area of research that focuses on developing scalable and cost-effective solutions to build quantum computing software that can be executed on real quantum computers. The goal of QSE is to design techniques to support developer in all the phases of the software lifecycle of the quantum program, such as the definition of the requirements, the design of the program, its implementation, and testing. Please refer to the recent roadmap in TOSEM.

The goal of the meeting is to present the current state of the research on QSE, the open challenges, and the most promising research directions. The meeting is open to researchers, students, and industry people interested in the research and application of QSE.

Program

  • 9:30–9:40: Opening

  • 9:40–10:30: First session
    • Jianjun Zhao. Quantum Software Engineering: The Early Journey and the Road Ahead [slides]
    • Hironori Washizaki. IEEE-CS Tech Predictions, SWEBOK and Quantum Software [slides]

  • 10:30–11:00: Coffee break

  • 11:00–12:20: Second session
    • Hausi A. Müller. Software Engineering for Distributed Quantum Computing [slides]
    • Andriy Miranskyy. Quality Assurance in Quantum Computing: Testing, Debugging, and Beyond
    • Rui Abreu. Gate branch coverage: A metric for quantum software testing [slides]
    • Mohammad Reza Mousavi. Taming Spooky Actions at a Distance: A Discipline of Quantum Software Testing [slides]

  • 12:20–14:00: Lunch

  • 14:00–15:20: Third session
    • Juan Manuel Murillo. Quantum Software Engineering: Some Principles, Practices and Perspectives [slides]
    • Fuyuki Ishikawa and Shinobu Saito. On Effectiveness of Combining Multiple Quantum Services for Reliability of Outputs [slides]
    • Michael Felderer. Quantum Software Ecosystem Design [slides]
    • Ross Duncan. Programming the Next Generation of Quantum Computers [slides]

  • 15:20–16:00: Coffee break

  • 16:00–17:00: Fourth session
    • Yutaka Takita. Discovery of Practical Quantum Application with Partners
    • Genki Okano. Optimizing Quantum Circuit Design through High-Level Abstractions and Constraint-Based Synthesis
    • Nobuko Yoshida. Multiparty Session Types and Quantum Computing [slides]

  • 17:00–18:00: Open discussion and Closing

Organization

Organizers

Shaukat Ali, Simula Research Laboratory, Norway
Paolo Arcaini, National Institute of Informatics, Japan
Fuyuki Ishikawa, National Institute of Informatics, Japan
Shinobu Saito, NTT, Japan

Venue

The meeting will take place National Institute of Informatics (NII), 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430.
Access information
Google maps

Registration

Speakers and Shonan Meeting participants do not need to register.

The meeting is free of charge. In order to participate, please register here https://connpass.com/event/357057/