Haem.io
  • Tools
  • Clinical trials
  • Articles
  • Team
  • Sign in
  • Tools
  • Clinical trials
  • Articles
  • Team
  • Sign in
Clinical SystemsNovember 25, 202512 min read

The Version Control of Medicine

The Complexity Crisis in Haematological Classification and the Case for Executable Diagnostic Logic.

Robert LeeRobert Lee
Read →
More articles
Engineering ArchitectureNovember 24, 202510 min read

The Architecture of Certainty

What Clinical AI can learn from Algorithmic Trading. Why probability is excellent for discovery, but dangerous for execution.

Robert LeeRobert Lee
→
Engineering ArchitectureFebruary 10, 202618 min read

Neurosymbolic Diagnostic Algorithms with Imandra

How a formally verified IML classifier replaced our Python implementation — and what we proved, failed to prove, and learned in the process.

Robert LeeRobert Lee
→
StrategyNovember 20, 202515 min read

The Expansion Thesis

Structural Validation of the Diagnostic Complexity Crisis in Oncology. Why haematology is the beachhead, and where the logic goes next.

Robert LeeRobert Lee
→

Haem.io

Clinician-facing haematology decision support using transparent WHO 2022 and ICC 2022 criteria mapping. Outputs support professional review and do not replace clinical judgement.

Contact:
robert.lee@haem.io

Explore

  • Tools
  • Clinical trials
  • Articles
  • Team
  • App Login

Compliance & Legal

  • Privacy Notice
  • Data Processing Addendum
  • Subprocessors
  • Retention
  • Clinical Safety
  • Cookie Notice
  • Security & Compliance
  • Your Rights
  • Legal Basis

© 2026 Haem.io. All rights reserved.

This tool is for healthcare professional decision support only and should not replace clinical judgement.