• Using Haskell and functional programming to build Cardano, a next generation blockchain and cryptocurrency platform with over 3.5 million users and a market cap of over 10 billion USD.• Led the research and development effort to build a multi-asset UTxO selection algorithm for Cardano Wallet, extending earlier research into single-asset algorithms.• Author of the CIP-2 Standard “Coin Selection Algorithms for Cardano”.• Consistently ranked by GitHub as the number one contributor to Cardano Wallet for the past three years (2020–2023).• Primary author of the Haskell bech32 library, providing an implementation and test suite for the Bech32 address standard, as used by BitCoin and Cardano.• Discoverer of a security flaw in the Bech32 standard. Publication of this flaw led to the development of the newer Bech32m standard.• Invited guest speaker at Cardano Summits in Taipei, Taiwan (2021 and 2020).

• Used Haskell and functional programming to build a peer-to-peer lending platform for small and medium enterprises in Southeast Asia.• Led the integration of the DocuSign e-signature system into the platform, enabling legal documents to be signed electronically, streamlining the onboarding process for new investors and borrowers.• Improved platform reliability and maintainability by separating out core algorithms into pure code and formalising the behaviour with automated property tests.• Re-engineered the core AutoPledge algorithm responsible for automatically allocating funds from investors to borrowers.

Freelancer, specialising in Haskell and functional programming projects.

• Feature lead for the XenServer Dynamic Memory Control project, a headline feature that enables memory to be dynamic reallocated between virtual machines on a physical host.• We delivered a solution within 18 months from initial concept to implementation, allowing Citrix to significantly increase its share of the enterprise virtualization market. • Responsible for coordinating the efforts of multiple teams across many levels of the software stack, from low-level hardware interface code, to high-level management software usable by ordinary people.• Awarded a patent for dynamic memory control, co-authored with David Scott. (US8667207)• Awarded a patent for dynamic time reversal of trees of images of virtual hard disks, co-authored with Vincent Hanquez. (US8856078)

Designed and implemented a specification management system for Launchpad.net, an open-source collaborative project management system used by tens of thousands of software projects around the world.

• Developed the integration of Citrix Web Interface with IBM WebSphere Portal Server, leading scalability and concurrency testing for the project.• Developed the management interface for the integration of Citrix Web Interface with Microsoft SharePoint.

Designed a protocol and system to synchronise remote, disconnected database replicas over SMTP.The system solved a significant business problem, providing:• field engineers with a way to create and update database records while working offline;• automatic synchronisation with the central company data store while online;• automatic highlighting of conflicts between remote and central replicas.

Conducted research into sensors for detecting toxic and flammable gases. Led experiments to measure cross-sensitivity of existing sensors to novel gas targets, enabling the company to sell its sensors in new business areas.