Andre Knispel
Senior Formal Methods Engineer at Input Output (IOHK)
Berlin Metropolitan Area Germany
Summary
🤩
Rockstar🎓
Top SchoolAndre Knispel is a Senior Formal Methods Engineer based in Berlin with eight years of experience applying mathematics and formal verification to blockchain systems. He currently specifies and develops the Cardano ledger at IOHK, contributing to core Shelley and Goguen implementations and build tooling (including hydra) in a high-profile open-source repo. His background blends academic rigor—a Master's in Mathematics—with practical work in zkSNARKs, dependent type theory, and verified libraries (Idris/Agda), plus earlier Haskell and Coq verification for cryptocurrency projects. Known for moving between deep theory and production-grade ledger code, he brings a rare combination of category-theory-informed design and hands-on engineering to distributed ledger assurance.
9 years of coding experience
1 year of employment as a software developer
Master's degree, Mathematics, Very good, Master's degree, Mathematics, Very good at Humboldt University of Berlin
Stackoverflow
103reputation
129reached
0answers
1question
Github Skills (6)
cryptocurrency10
ada10
cardano10
blockchain10
latex8
facebook-oauth6
Programming languages (16)
Github contributions (5)
IntersectMBO/cardano-ledger
May 2020 - Nov 2022
The ledger implementation and specifications of the Cardano blockchain.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:142 reviews, 104 commits, 54 PRs in 2 years 7 months
Contributions summary:Andre primarily contributed to the ledger implementation of the Cardano blockchain. Their work involved renaming folders and moving code components, specifically focusing on the Shelley and Goguen ledger specifications. They also added functionality for hydra builds. The commits demonstrate involvement in core aspects of the Cardano ledger.
blockchaincardanocryptocurrencyada
IntersectMBO/formal-ledger-specifications
Jul 2021 - Feb 2023
Formal specifications of the Cardano ledger
Contributions:608 reviews, 101 commits, 360 PRs in 1 year 7 months
cardanoagdacardano-nodeformal-methods
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.