Liskov's Distributed Systems Foundations For Blockchain And AI
Turing Award winner Barbara Liskov discusses how Viewstamp replication and PBFT underpin modern blockchains, the strategic value of modularity, and AI's impact on software verification and engineering roles.