Martin Lundfall

Martin Lundfall

Formal Verification Researcher at Dapphub, MakerDAO and CirclesUBI.

Share

Martin Lundfall Introduction

Martin Lundfall is a formal verification researcher at Dapphub, MakerDAO and CirclesUBI. Before joining Dapphub, he was the main developer of TransActive Grid, a peer-to-peer energy market that later developed into Grid+. His background is in mathematics, computer science, physics and brain computer interfacing.

Martin Lundfall Work Experience