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