Martin Lundfall

Formal Verification Researcher at Dapphub, MakerDAO and CirclesUBI.

Martin Lundfall

Overview

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.

Work Experience

Accrue interest on your Dai by turning it into Chai.

Rebranded from MakerDAO.

We build infrastructure for the decentralized web.

CypherHunter Plus

Subscribe to distraction-free reading, and unprecedented access to our data.

People also viewed

Roham Gharegozlou

Founder of Axiom Zen, CryptoKitties, Dapper Labs.

Founder and Managing Partner at Struck Capital.

Arthur Breitman

Co-Founder of Tezos.

Bitcoin Core developer.

Expanding Ecosystems

With over 70+ ecosystems actively growing, they are equally deserving of your attention.