Verified Simulation for Large Quantum Systems (VSL-Q)

由于高级编程语言和编译器使得高级程序能够在不同的计算平台上运行，对经典计算机进行编程已经成为一种流行的做法。对于关键应用程序，我们现在已经验证了编译方案和认证编译器，以确保编译执行的正确性。这是通过引用高级代码的数学模型来完成的。在这个项目中，我们将为量子计算建立这样一个有前途的轨迹，考虑到量子计算机的微妙特征。这将通过汇集软件测试和量子模拟方面的专业知识来实现。这项研究的结果将导致量子计算应用的验证软件，从而广泛和有效地利用量子计算。

Programming classical computers has become a popular practice thanks to high-level programming languages and compilers which enable the runningof high-level programs on different computing platforms. For critical applications, we now have verified compilation schemes and certifiedcompilers which ensure the correctness of the compiled executions. This is done by reference to a mathematical model of the high-level code. Inthis project we will establish such a promising trajectory for quantum computing, taking into account the subtle features of quantum computers.This will be achieved by bringing together expertise in software testing and quantum simulation. The results of this research will lead to verified software for quantum computing applications and consequently, to wide-spread and effective exploitation of quantum computing.