After leaving, he co-founded IOHK, a blockchain-engineering company, whose primary business is the development of Cardano, alongside the Cardano Foundation and Emurgo.[10] The platform is named after Gerolamo Cardano, while the cryptocurrency itself is named after Ada Lovelace.[11]