Kevin Hammond
Founder At Ensurable Systems at Hylomorph Solutions
City of Edinburgh, Scotland, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolKevin Hammond is a seasoned technology founder and engineering leader with over 10 years of experience building and scaling dependable distributed systems from both research and industry perspectives. He founded Hylomorph Solutions and Ensurable Systems to apply advanced AI and systems engineering techniques to improve performance and reliability in complex computing environments. Previously he led Cardano Core engineering at Input Output (IOHK), contributing hands-on Haskell fixes and CLI features to the widely used Cardano ledger and node implementations. An academic by training—PhD in Computer Science—and long-time professor and director, he blends formal-methods rigor with practical product delivery. Based in Edinburgh, he’s comfortable moving between low-level ledger correctness work and high-level operational concerns, and his open-source contributions include subtle but important fixes to incentive calculations and CLI usability in the Cardano codebase.
10 years of coding experience
30 years of employment as a software developer
PhD Computer Science, PhD Computer Science at University of East AngliaMayfield School, Portsmouth
English, French, German
Github Skills (11)
ledger10
cardano10
haskell10
blockchain10
documentation10
implement10
testing9
back-end-development9
cryptocurrency9
cabal8
rust7
Programming languages (10)
Github contributions (5)
IntersectMBO/cardano-ledger
Sep 2019 - Jul 2021
The ledger implementation and specifications of the Cardano blockchain.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 reviews, 118 commits, 16 PRs in 1 year 10 months
Contributions summary:Kevin primarily focused on modifying and testing Haskell code related to the Cardano ledger implementation. Contributions involved fixing minor glitches and making adjustments to example files within the Shelley era's chain and ledger components. The changes include updates to example data structures and adjustments to various parameters and functions, indicating a focus on ensuring the correctness and functionality of the ledger's specifications. The commits also touched upon incentive calculations and involved updates to documentation files.
adablockchainplutuscryptocurrencyspecifications
IntersectMBO/cardano-node
May 2020 - Nov 2022
The core component that is used to participate in a Cardano decentralised blockchain.
Role in this project:Back-end Developer
Back-end DeveloperContributions:24 reviews, 55 commits, 30 PRs in 2 years 6 months
Contributions summary:Kevin contributed primarily to the Cardano-node project by updating documentation and adding new query functionalities. Their work included clarifying help text for existing queries related to ledger and protocol states, pointing users to relevant underlying data structures. They also added features to the CLI, such as stake-snapshot and pool-params queries and updated the project version.
core-componentblockchainplutusdecentralisedcardano
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.