2 projects
aion-clinical
FM-3 formal knowledge representation for clinical trajectories — Allen algebra, causal inference, Shapley attribution, HL7 v2, FHIR R4, differential privacy. AGPL-3.0 / commercial dual license.
cairn-clinical
FM-2 formal verification of CDR-to-FHIR mappings — Allen algebra, Z3 SMT proofs, SILD silent information loss detection.
