Topological data analysis
Persistent homology of physiological signals.
Detects structural changes in waveforms invisible to amplitude-based methods. Applied across sepsis trajectory, ICP morphology, tremor analysis.
Stack: giotto-tda · ripser
Research
Methods.
Our toolkit is domain-agnostic by construction. The same mathematics that characterises a physiological waveform characterises a seismic signal, a financial time series, or a materials microstructure. One investment in a tool produces papers across multiple fields.
Normalised compression distance
Parameter-free complexity from compression.
Measures signal complexity collapse — a proven early marker of physiological deterioration. Approximates Kolmogorov complexity practically.
Stack: zlib · standard library
Graph signal processing
Signal processing on irregular network structures.
Models organ-system coupling, brain connectivity, RF propagation networks. Spectral and filtering operations on graph-structured signals.
Stack: PyGSP · NetworkX
Process algebra (CSP)
Formal specification of communicating processes.
Verifies that clinical pathways and closed-loop device protocols cannot deadlock or reach unsafe states. Direct application to MHRA safety cases.
Stack: FDR4 · CSP-M
Probabilistic timed automata
Formal models of timed system dynamics.
Specifies physiological state transitions with verified timing properties. Reachability analysis for early-warning alarm verification.
Stack: UPPAAL · PRISM
Structural causal models
Counterfactual reasoning machinery.
Provides the formal foundations for digital twins that can answer counterfactual clinical questions — what would happen if we intervened now versus later?
Stack: DoWhy · CausalNex
Information theory
Shannon capacity and mutual information.
Bounds the theoretical recoverability of physiological state from surface measurements. Provides the channel capacity of clinical assays (e.g. ctDNA detection).
Stack: Information-theoretic derivations
Adaptive signal processing
Multipath cancellation, channel estimation.
Direct transfer from telecommunications. Applied to acoustic and electromagnetic propagation through biological tissue.
Stack: SciPy signal · custom