Thomas Winant
Senior Software Engineer II at HubSpot
Hoeilaart, Flemish Brabant, Belgium
Summary
🤩
Rockstar🎓
Top SchoolThomas Winant is a Senior Software Engineer II with 16 years of experience specializing in Haskell back-end systems and blockchain infrastructure. Based in Hoeilaart, Belgium, he develops core sync engines at HubSpot’s PieSync platform and has deep compiler and protocol expertise from contributions to GHC and the Cardano node and ledger. His background spans PhD-level research at KU Leuven and commercial Haskell consulting, combining rigorous type-system knowledge with practical DevOps and build improvements. Notably, he’s fixed subtle compiler panics and helped migrate Cardano components from mock to real ChainDB—work that reflects both low-level language mastery and production-grade distributed-system know-how.
16 years of coding experience
7 years of employment as a software developer
Bachelor of Science, Informatics, Bachelor of Science, Informatics at KU Leuven
Github Skills (24)
compiler-development10
testing10
indentation10
emacs-lisp10
cryptocurrency10
type-system10
ada10
cardano10
blockchain10
ghc10
haskell10
test-automation10
parserator9
parser9
devops9
Programming languages (10)
Github contributions (5)
IntersectMBO/cardano-node
Jun 2019 - Jan 2021
The core component that is used to participate in a Cardano decentralised blockchain.
Role in this project:
Back-end Developer & DevOps Engineer
Back-end Developer & DevOps EngineerContributions:96 reviews, 90 commits, 60 PRs in 1 year 7 months
Contributions summary:Thomas primarily contributed to the Cardano node core component by bumping dependencies and porting recent changes from the ouroboros-network. They were involved in modifying the Run.hs file, and also made changes to various scripts for submitting transactions and starting the node, including fixing buildkite's stack rebuild. The user also added configurations related to the demo, added the host and port to the demo.sh script, and made updates to support the migration from mock ChainDB to the real ChainDB.
core-componentblockchainplutusdecentralisedcardano
IntersectMBO/cardano-ledger
Feb 2020 - Dec 2020
The ledger implementation and specifications of the Cardano blockchain.
Role in this project:Back-end Developer
Back-end DeveloperContributions:134 reviews, 94 commits, 64 PRs in 9 months
Contributions summary:Thomas primarily contributed to the ledger implementation for the Cardano blockchain. Their commits focused on deriving and implementing equality checks and dependencies for core protocol states and updating dependencies, primarily in Haskell. They also fixed typos, exposed example blocks and transactions, and improved the build process by exposing test helpers as a package. This work included changes to core ledger components such as block headers and transactions.
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.