In this episode of pplpod, we profile Barbara Liskov, an Institute Professor at MIT and a titan of computer science who fundamentally changed how we write software. We explore her journey from being denied admission to Princeton’s graduate math program due to her gender to becoming one of the first women in the United States to earn a Ph.D. in computer science.

Join us as we break down Liskov’s groundbreaking technical achievements, including:

• The Liskov Substitution Principle: We discuss this crucial concept in object-oriented programming regarding subtyping and inheritance, which she developed with Jeannette Wing.
• Abstract Data Types: How Liskov pioneered the principle of data abstraction, allowing for more reliable and reusable programs.
• Language Design: A look at her creation of CLU and Argus, languages that influenced modern giants like Java, C++, C#, and Ada.
• Distributed Computing: Her work on the Venus operating system, the Thor object-oriented database, and Byzantine fault tolerance.

We also cover her 2008 Turing Award win—making her only the second woman to receive the "Nobel Prize of computing"—and her early artificial intelligence work on chess endgames and the "killer heuristic" under John McCarthy. Whether you are a software engineer or a history buff, this episode illuminates the life of a pioneer who was inducted into the National Inventors Hall of Fame for her contributions to programming methodology.