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.