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