Sam Snowden, Formal Verification Architect · Quantum Computing
Designs and delivers machine-checked verification for quantum computing: error correction, fault-tolerant protocols and quantum algorithms, their correctness and their resource cost.
[To write: one paragraph on what you do, in your own words.]
[To write: one line on who it is for.]