Robert Kornacki

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