Nelson E. Bolivar

Scientific note

End-to-End Formalization of Quantum Error Correction

Quantum error-correcting codes (QECCs) sit between noisy quantum hardware and reliable computation, so the code parameters used in practice must be trustworthy.