← Back to all lectures

#RunzhouTao

1 lecture with this tag

24 | Automatic Formal Verification of the Qiskit Compiler
Software Tools & Verification Runzhou Tao

24 | Automatic Formal Verification of the Qiskit Compiler

Quantum compilers are essential in the quantum software stack but are error-prone.

#RunzhouTao #Quantum #Compilation #Software #Verification