Jan. 17 at 8:42 PM
$ZPTA DO YOU REALIZED WHAT THE CONNECTION? UofMaryland professor the same lead author
$NVDA $QBTS
Formal methods have a long history in classical software engineering, but their adoption in quantum computing is still emerging,” said Runzhou Tao, Assistant Professor at the University of Maryland and Fellow at the Joint Center for Quantum Information and Computer Science (QuICS). https://thequantuminsider.com/2026/01/12/zapata-and-university-of-maryland-collaborate-to-advance-new-paradigm-in-quantum-software/
How They Benefit Each Other
Increased Throughput:
HyperQ enables up to 10x more quantum jobs and reduces wait times, providing a faster pipeline for Zapata’s Orquestra platform to execute its algorithms.
Enhanced Performance: By using HyperQ's virtualization, Zapata can run more complex, hybrid AI models across hardware providers (like
$IONQ $IBM, and Amazon) more efficiently.
Better Resource Utilization: HyperQ helps maximize the capacity of existing quantum infrastructure, allowing Zapata’s enterprise clients to get more value out of limited quantum resources. AI~
https://campustechnology.com/articles/2025/08/19/columbia-engineering-researchers-develop-cloud-style-virtualization-for-quantum-computing.aspx
