David Eichmann
Managing Director at Seabix AG
City of Edinburgh, Scotland, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolDavid Eichmann is a managing director and seasoned software engineer with 13 years of experience, combining leadership at Netsuisse with hands-on Haskell engineering at Seabix and Well-Typed. He specializes in blockchain and compiler-related back-end work, contributing to high-profile open-source projects including the Glasgow Haskell Compiler and core Cardano components where he improved API ergonomics, CBOR serialization, and ledger reliability. Comfortable moving between consultancy and product roles, he brings deep functional programming expertise and a track record of shipping robust, test-backed changes to critical systems. Holding a Master's by Research from the University of Edinburgh, he pairs academic rigor with practical delivery and a knack for making low-level protocols and build systems more maintainable.
13 years of coding experience
4 years of employment as a software developer
Master's by Research Computer Science, Master's by Research Computer Science at The University of Edinburgh
Github Skills (13)
build-system10
cbor10
cardano10
haskell10
blockchain10
cryptography9
testing9
apidoc9
api9
git9
performance-testing8
documentation7
cryptocurrency7
Programming languages (11)
Github contributions (5)
IntersectMBO/cardano-node
Jan 2021 - Mar 2022
The core component that is used to participate in a Cardano decentralised blockchain.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:84 reviews, 58 commits, 14 PRs in 1 year 2 months
Contributions summary:David primarily contributed to the `cardano-node` repository by adding pattern synonyms for blocks and transactions within the Cardano API. This involved modifying Haskell source code to enhance the API's structure and functionality. Furthermore, the user added a demonstration package, `cardano-client-demo`, and expanded the exposed types to support more core functionality, including support for ledger state and Alonzo era.
core-componentblockchainplutusdecentralisedcardano
IntersectMBO/cardano-ledger
Mar 2021 - Jan 2022
The ledger implementation and specifications of the Cardano blockchain.
Role in this project:Back-end Developer
Back-end DeveloperContributions:6 reviews, 14 commits, 9 PRs in 9 months
Contributions summary:David primarily contributed to the ledger implementation of the Cardano blockchain. Their work involved adding and testing CBOR (Concise Binary Object Representation) serialization and deserialization instances for core data types, including configuration, genesis data, and cryptographic elements like compact redeem verification keys, block counts, and owner types. Additionally, the user added serialization tests to ensure the correct encoding and decoding of these data structures, improving the reliability of the ledger.
adablockchainplutuscryptocurrencyspecifications
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.