Robert Kornacki
dcSpark 的首席科学官。
罗伯特·科纳奇是 dcSpark 的联合创始人兼首席安全官。曾任EMURGO的研究主管。 探索 Haskell、Idris、Lean、Coq、Agda、Plutus、mcRL2 等领域,以及命运将我接下来引向的任何其他领域。
罗伯特·科纳奇是 dcSpark 的联合创始人兼首席安全官。曾任EMURGO的研究主管。 探索 Haskell、Idris、Lean、Coq、Agda、Plutus、mcRL2 等领域,以及命运将我接下来引向的任何其他领域。