Iowa Type Theory Commute
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Iowa Type Theory Commute
Start of Season 4: Formal Methods for Blockchain
•
Aaron Stump
•
Season 4
•
Episode 1
Use Left/Right to seek, Home/End to jump to start or end. Hold shift to jump forward or backward.
I start off a new chapter (seventeen!) of the podcast, to talk about formal methods for blockchain systems. In the next few episodes, we will look at some verification efforts related to the Tezos blockchain.