QCIS-FF: A Software Stack for Quantum Computing

量子计算机迅速崛起，量子霸权即将到来。量子硬件越来越好，但量子软件落后。我们需要同样的软件工具，使传统计算机能够快速可靠地编程。事实上，量子计算要想成功，我们需要一个完整的软件堆栈，包括编程语言、编译器和验证工具。这个奖项是为了聘请一名教员，他将带头进行多学科研究，为量子计算构建这样一个软件堆栈。加州大学洛杉矶分校计算机科学系包括三个研究小组，每个小组都将为新教员领导的工作做出贡献。第一组专注于密码学和机器学习，第二组专注于软件系统，第三组专注于设计自动化和定制。这些领域将是构建量子计算软件堆栈的关键。我们的目标是让新教员以一种与这三个小组自然结合的方式融入系里。加州大学洛杉矶分校更广泛的背景是量子科学与工程中心，它是量子科学研究和教育的焦点。这位新教员每年将教授三门关于量子计算的课程。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

Quantum computers have emerged quickly and quantum supremacy is around the corner. The quantum hardware is getting better but quantum software is lacking behind. We need the same kinds of software tools that enable quick and reliable programming of traditional computers. Indeed, for quantum computing to be successful, we need an entire software stack of programming languages, compilers, and verification tools. This award is made to hire a faculty member who will spearhead multi-disciplinary research on building such a software stack for quantum computing.The UCLA Computer Science department includes three research groups that each will contribute to the effort spearheaded by the new faculty member. The first group is focused on cryptography and machine learning, the second on software systems, and the third on design automation and customization. These areas will be key to building a software stack for quantum computing. The goal is to integrate the new faculty member into the department in a way that interfaces naturally with all three groups. The broader context at UCLA is the Center for Quantum Science and Engineering which is the focal point for research and education in quantum science. The new faculty member will teach three courses on quantum computing annually.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.