Benjamin Flores
Benjamin Flores is co-founder and CEO of LFG Labs and Verity Labs, which builds Lean-based formal-verification infrastructure for Ethereum smart contracts. Their work at Verity includes verification of critical infrastructure for projects such as Lido and the Ethereum Foundation.