The University of California, San Diego (UCSD) was awarded a $500,000 Project Grant from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to develop a verifiable quantum compiler that integrates formal methods with quantum computing. The primary objectives of this 4-year project are to: (1) optimize the translation of quantum algorithms into fault-tolerant implementations; (2) create verifiable error detection tailored for quantum environments; and (3) develop decoders that provide timely feedback to quantum hardware. This project aims to enhance the technological capabilities of quantum computing and ensure the correctness of quantum programs even in the presence of errors, ultimately supporting the practical implementation and maintenance of reliable, efficient quantum computing systems. The project also includes plans to integrate the research results into academic curricula and broaden participation by mentoring students from underrepresented populations in computing.
Generated 3/4/25, 7:43 AM