Skip to main content

Back to QCR News

News

January 12, 2026Mohamed Abdel-Kareem

University of Maryland and Zapata Quantum Partner on Formal Verification for Quantum Algorithms

The University of Maryland and Zapata Quantum, Inc. (OTC: ZPTA) have launched a research collaboration to implement formal verification in quantum…

University of Maryland and Zapata Quantum Partner on Formal Verification for Quantum Algorithms

Article content is not available.

Related Intelligence

Test of USydney article with HTML.

Test of USydney article with HTML.

QuiX Quantum and Dutch Photonics Consortium Form National Mission for 100+ Qubit Computer

QuiX Quantum and Dutch Photonics Consortium Form National Mission for 100+ Qubit Computer

November 11, 2026

Colorado Partners with IBM to Deploy AI-Driven Quantum Ecosystem Mapping and Workforce Tools

Colorado Partners with IBM to Deploy AI-Driven Quantum Ecosystem Mapping and Workforce Tools

November 11, 2026

Carahsoft Builds Federal Quantum Catalog with IonQ and PQSecure Partnerships

Carahsoft Builds Federal Quantum Catalog with IonQ and PQSecure Partnerships

November 11, 2026

Diraq Installs Silicon Spin Quantum Computer in Equinix Commercial Data Center

Diraq Installs Silicon Spin Quantum Computer in Equinix Commercial Data Center

November 11, 2026

University of Chicago and Tohoku University Establish Joint Quantum Materials Hub in Japan

University of Chicago and Tohoku University Establish Joint Quantum Materials Hub in Japan

November 11, 2026

University of Maryland and Zapata Quantum Partner on Formal Verification for Quantum Algorithms | Quantum Computing Report