Scraping Bits cover image

#22 - Leo Alt: Leading Ethereum's Formal Verification + CoFounding Powdr Labs

Scraping Bits

00:00

Introduction

Discussion on the significance of employing various tools for software analysis, featuring Leo Alt, former patient leader at the Ethereum Foundation, who shares his background in SMT solving, formal verification, and his work on building tooling for software verification.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app