Sam Snowden, Formal Verification Architect · Quantum Computing
[To write: background in a few lines: physics, quantum processor architecture, formal methods.]