Jonathan Knowles Email & Phone Number

• 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.

Singapore

• 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.

Taipei, Taiwan

Freelancer, specialising in Haskell and functional programming projects.

Cambridge, United Kingdom

• 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)

London, United Kingdom

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.

Cambridge, United Kingdom

• 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.

Broadstone, Dorset, United Kingdom

• 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.

Poole, Dorset, United Kingdom

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.

Ba (Honours), Computer Science

Chemistry

Mandarin Chinese (中文 / 普通話 / 國語)