Dapphub、MakerDAO、CirclesUBI 形式化验证的研究员。
Martin Lundfall 在 Dapphub、MakerDAO、CirclesUBI 做形式化验证的研究员。在加入 Dapphub 以前，他是去中心化能源市场 TransActive Grid 主要开发者，后来发展成为 Grid +。 他的背景是数学、计算机科学、物理等。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。
Martin Lundfall
区块分享
Prysmatic Labs 联合创始人。 Raul Jordan概述, Raul Jordan信息, Raul Jordan区块链, Raul Jordan维基, Raul Jordan社交, Raul Jordan Medium, Raul Jordan ICO, Raul Jordan回顾, Raul Jordan快讯, Raul Jordan追踪
Dragonfly 研究分析师，前 MetaStable 普通合伙人。 Ivan Bogatyy概述, Ivan Bogatyy信息, Ivan Bogatyy区块链, Ivan Bogatyy维基, Ivan Bogatyy社交, Ivan Bogatyy Medium, Ivan Bogatyy ICO, Ivan Bogatyy回顾, Ivan Bogatyy快讯, Ivan Bogaty
POA Network 首席开发者。 Igor Barinov概述, Igor Barinov信息, Igor Barinov区块链, Igor Barinov维基, Igor Barinov社交, Igor Barinov Medium, Igor Barinov ICO, Igor Barinov回顾, Igor Barinov快讯, Igor Barinov追踪
Bloq 联合创始人，Tally Capital 创始合伙人。 Matthew Roszak概述, Matthew Roszak信息, Matthew Roszak区块链, Matthew Roszak维基, Matthew Roszak社交, Matthew Roszak Medium, Matthew Roszak ICO, Matthew Roszak回顾, Matthew Roszak快