Functional correctness with the Haskell masters
Training to build quality code on scientific excellence
26 September 2018 6 mins read
At IOHK, we are proud of our scientific approach and close collaboration with academia. We publish in peer reviewed scientific journals and present our results at acclaimed international conferences to ensure that our protocols and algorithms are built on rock-solid foundations. Our software must reflect this scientific excellence and quality, which means that we need a process…
Recent posts
From idea to implementation: a look into IO's research and development by Nicolas Biri
26 August 2025
Unlocking zero-knowledge proofs for Cardano: the Halo2-Plutus verifier by Kris Bennett
26 August 2025
Professor Kiayias explores consensus evolution at Science of Blockchain Conference 2025 by Ivan Irakoze
22 August 2025