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.
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.
