Compilation and Verification of Quantum Software in the Noisy and Approximate Regime

像经典计算机一样，量子计算机需要编译器，这是一种工具，可以将人类编写的代码翻译成机器可以运行的东西。与经典计算机不同，今天的量子计算机的计算资源极其有限，而且非常容易受到环境噪声的影响。此外，准确地实现计算往往是不切实际的或不可能的，这意味着量子编译器需要进行某些近似，这可能会产生进一步的错误。在这个项目中，我们将开发下一代量子编译器，它能够理解和驯服这些许多错误的来源，并产生高效的软件，具有可靠的性能和可独立检查的保证。

Like classical computers, quantum computers need compilers, which are tools that translate code written by a human into something the machine can run. Unlike classical computers, today's quantum computers have extremely limited computational resources and are highly susceptible from noise from the environment. Furthermore, it is often impractical or impossible to implement a computation exactly, meaning quantum compilers need to make certain approximations, which can yield further errors.In this project, we will develop the next generation of quantum compilers which are able to understand, and tame, these many sources of errors, and produce efficient software with independently-checkable guarantees of reliable performance.