Reliable and Robust Quantum Computing

在计算机科学和工程领域60多年的工作已经定义和完善了抽象的高塔，这些抽象构成了当今经典计算机系统的坚实基础。可靠性和正确性的关键挑战已经在堆栈中的数十个级别上面临并克服，并且在不同的ICT研究人员社区中有丰富的洞察力和专业知识。在过去的十年里，量子计算的进展已经加速，它本身正在成为一个国际产业。然而，量子计算仍处于其旅程的开始阶段。小规模的原型设备已经证明了这项技术的潜力，里程碑式的实验已经证明了量子计算机在特殊设计问题上超越经典硬件的能力，但是，构建一个可靠而强大的大规模量子设备，能够挑战世界上经典的超级计算机，解决有用的现实世界问题，仍然是一个巨大的挑战。我们不认为经典ICT有现成的解决方案来应对这一挑战，但我们相信，通过广泛的真正跨学科交流，量子计算研究人员可以与ICT研究界的科学工具、方法和（特别是）思维方式密切接触，在广泛传播的关键经典计算堆栈中，该领域将取得重大进展。该项目将开辟量子计算和ICT研究社区之间的对话，特别是从事计算机系统和架构研究的ICT研究人员，通过创建一个研究人员网络，他们将共同设计一个研究项目，以开发和推进可靠和强大的量子计算解决方案，解决主要计算堆栈中的关键层。

Over 60 years of work in computer science and engineering has defined and refined a tower of abstractions that constitute the solidfoundations of today's classical computer systems. Key challenges to reliability and correctness have been faced-and overcome-at dozens of levelsin the stack, and there is a wealth of insight and expertise in the diverse community of ICT researchers who work across it.In the last decade, progress on quantum computing has accelerated, and it is becoming an international industry in its own right.Nevertheless, quantum computing is still at the beginning of its journey. Small-scale prototype devices have demonstrated the potential forthis technology, and milestone experiments have demonstrated a quantum computer's capability to out perform classical hardware on speciallydesigned problems, but the construction of a reliable and robust large-scale quantum device capable of challenging the world's classicalsupercomputers for useful real world problems remains a huge challenge.We do not think that classical ICT has ready-made solutions to this challenge, but we believe that significant advances in the field willarise through a broad spectrum of genuinely cross-disciplinary exchange, allowing for close contact of quantum computing researchers with thescientific tools, methods and (especially) mindsets of the ICT research community - across a broad spread of the key classical computing stacks.This project will open up a dialogue between quantum computing and ICT research communities, particularly ICT researchers engaged in computersystems and architecture research, by creating a network of researchers who will co-design a research project to develop and advancesolutions for reliable and robust quantum computation, addressing key layers across the principal computing stacks.