Entangled Code

Rigorous Quantum Computing • Physics-Informed Software Engineering

David Coldeira’s quantum computing research. Developing QRL (Quantum Relational Language)—where entanglement is a first-class citizen.