Robert Kornacki

Robert Kornacki

CSO at dcSpark.

Share

Robert Kornacki Introduction

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 Work Experience