Robert Kornacki

羅伯特·科納奇是 dcSpark 的聯合創始人兼首席安全官。曾任EMURGO的研究主管。 探索 Haskell、Idris、Lean、Coq、Agda、Plutus、mcRL2 等領域，以及命運將我接下來引向的任何其他領域。