Robert Kornacki

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


擴展生態系統

超過70+生態系統正在積極增長,同樣值得您的關注。