Scientific Software Engineer | Bristol, UK
Building a quantum programming language from first principles — relations-first, causal structure as a type-level primitive.
A relations-first quantum programming language where entanglement is a first-class citizen, not a derived concept. The key formal contribution: causal structure as a type-level primitive — a program that type-checks as Switch(d) is provably causally nonseparable (Soundness Theorem). No existing quantum PL can state this.
- ~13,600 lines · 896 tests · physics foundations + causal structure + domain modules
- Hardware-verified: Bell state on Quandela's qpu:belenos 12-qubit photonic QPU (S = 2.61 ± 0.08)
- Implements: process matrices (Oreshkov 2012), causal witnesses (Araújo 2015), quantum causal models (Allen 2017), loophole-free Bell test (Hensen 2015), categorical QM (Coecke & Kissinger 2017)
- Paper in preparation — targeting QPL 2027
Co-founder (technical lead). Building AI-powered sailing apps in Flutter — route planning, weather intelligence, boat maintenance. Three products: SailGenius · Galley · ShipShape.
dcoldeira.github.io — posts on quantum physics, computing, and the ideas behind QRL.
Recent: Bell's theorem and hardware verification · Electron correlation as entanglement · Beating the standard quantum limit · Quantum effects in photosynthesis
Lead Developer at Geoquip Marine — built GQMLab from scratch: production LIMS for a UKAS-accredited marine geotechnical laboratory. Flask · Flutter · MySQL · Docker · Hetzner · zero-downtime deployment.
Physics BSc · Scientific software engineering · Python, Flutter, Docker · Numerical modelling, ML pipelines, system architecture.