EDF, Alice & Bob, Quandela and CNRS Partner to Optimize Quantum Computing’s Energy Efficiency
EDF, Alice & Bob, Quandela and CNRS Partner to Optimize Quantum Computing’s Energy Efficiency
Oxford Quantum Circuits (OQC) Expand Leadership With Appointment of General Counsel to C-Suite
Oxford Quantum Circuits (OQC) has promoted Nikki Cooper to General Counsel in its C-Suite. Previously serving as General Counsel and Company Secretary at OQC, Cooper's new role signifies a significant expansion for the deep tech firm's executive leadership team.
QUANTUMWIRE.COM
A 2D Device for Quantum Cooling
A 2D Device for Quantum Cooling
MetSuperQ, Aimed at Advancing the Development of Metrological Tools for Superconducting Qubits, Has Been Launched in Europe
The European collaborative project MetSuperQ, led by PTB, Germany, has recently launched. This project aims to advance the development of metrological tools for superconducting qubits to enhance the characterization and performance of quantum circuits and materials. The MetSuperQ project will address discrepancies in how qubit metrics are reported by harmonizing measurement methodologies and fostering collaboration among national metrology institutions.
QUANTUMWIRE.COM
Japanese Scientists Have Developed a Symbolic Model Checking Approach for Verifying Quantum Circuits
Scientists from the Japan Advanced Institute of Science and Technology (JAIST) have recently proposed a symbolic approach for automatic model-checking of quantum circuits, aiming to bridge the gap between model-checking quantum programs and quantum circuits. This novel method, developed using basic matrix operations in quantum mechanics laws and the Maude programming language, marks a crucial first step towards a universal framework for quantum circuit verification and specification.