媒介资讯
Martin Lundfall

Dapphub、MakerDAO、CirclesUBI 形式化验证的研究员。

Martin Lundfall 在 Dapphub、MakerDAO、CirclesUBI 做形式化验证的研究员。在加入 Dapphub 以前,他是去中心化能源市场 TransActive Grid 主要开发者,后来发展成为 Grid +。 他的背景是数学、计算机科学、物理等。

相关导航

暂无评论

暂无评论...