Robert Kornacki

罗伯特·科纳奇是 dcSpark 的联合创始人兼首席安全官。曾任EMURGO的研究主管。

探索 Haskell、Idris、Lean、Coq、Agda、Plutus、mcRL2 等领域,以及命运将我接下来引向的任何其他领域。


扩展生态系统

超过70+生态系统正在积极增长,同样值得您的关注。