Robert Kornacki
CSO at dcSpark.
Robert Kornacki is Co-Founder & CSO at dcSpark. Formerly, Head Of Research at EMURGO. Explorations into the realms of Haskell, Idris, Lean, Coq, Agda, Plutus, mCRL2 and wherever else fate leads me next.
CypherHunter Plus
Subscribe to distraction-free reading, and unprecedented access to our data.