I design secure, reproducible, and safety-critical software—grounded in declarative methods, mathematical foundations, and open engineering standards. My work at Arup (opens in new tab) and across the open-source ecosystem spans applied category theory, pure functional systems, and Nix infrastructure, exploring how formal structure, trust, and reproducibility shape resilient digital and physical systems.