I build cryptographic audit infrastructure for regulated finance, in Rust.

Founder and lead engineer at Nexum Ledger Ltd (London, Companies House 17001897): an append-only evidence engine for SRA-regulated law firms. Client data is encrypted with AES-256-GCM, the Merkle tree is built over ciphertext rather than plaintext, and SHA-256 roots are anchored to Bitcoin via OpenTimestamps, so retention and erasure can be proven to a regulator without the ledger ever holding recoverable client content.

Two things here you can verify without taking my word for it:

• IACR ePrint 2026/1109 · SoK: Cryptographic Erasure on Public Ledgers: Application Layer Architectures, Key Lifecycle Adversaries, and GDPR Art. 17 Equivalence
• Sealmark · published in the official Obsidian community plugin store. Private proof of existence for notes: hash locally, anchor to Bitcoin, verify offline. Your content never leaves your machine, only a hash is published.

MSc Finance, University of St Andrews. Based in London. UK Graduate Route, no sponsorship required.

Cryptographic infrastructure · append-only hash-chained audit stores, AES-256-GCM envelope encryption, key-destruction erasure semantics, ciphertext Merkle trees, SHA-256 anchoring to Bitcoin via OpenTimestamps, GDPR Art. 17 evidence

Consensus and distributed systems · Byzantine fault tolerance (PBFT, HotStuff, Raft), fault injection, safety invariants under partition, throughput and latency benchmarking

Production Rust · tokio, axum, sqlx, PostgreSQL, constant-time verification on webhook boundaries, CI gates that actually block, deployment on bare VPS with GitHub Actions

Quantitative finance · multi-factor alpha, HRP portfolio construction, regime-aware volatility scaling, walk-forward and survivorship-free backtesting across US, China A-share and Japan equities

Financial econometrics · GARCH/EGARCH/GJR-GARCH, Fama-French factor models, VaR/CVaR, Monte Carlo, cointegration, regime switching