The National Science Foundation (NSF) awarded a $500,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the University of California, Los Angeles (UCLA) Office of Research Administration. This 4-year grant, effective from September 1, 2024 to August 31, 2028, supports UCLA's research to develop a verifiable quantum compiler that integrates formal methods into quantum computing. The project aims to automate the generation of fault-tolerant quantum programs and ensure their accuracy through rigorous verification. This will enhance the technological capabilities and practical implementation of quantum computing for high-impact applications like drug development, materials discovery, and traffic optimization. The grant also funds UCLA's efforts to integrate the project's results within academic curricula, broaden participation through student mentorship, and collaborate with industry leaders to support the adoption of the innovative quantum compiler technologies.
Generated 3/4/25, 8:09 AM