Martin Lundfall
Investigador de Verificación Formal en Dapphub, MakerDAO y CirclesUBI.
Martin Lundfall es investigador formal de verificación en Dapphub, MakerDAO y CirclesUBI. Antes de unirse a Dapphub, fue el principal desarrollador de TransActive Grid, un mercado de energía punto a punto que más tarde se convirtió en Grid+. Su formación es en matemáticas, ciencias de la computación, física e interconexión de computadoras cerebrales.
CypherHunter Plus
Subscribe to distraction-free reading, and unprecedented access to our data.
