Barbara Liskov

Invented the abstraction that lets programs be built from replaceable parts — data abstraction and the substitution principle that bears her name. First American woman to earn a CS PhD; Turing Award 2008.

Photo: Kenneth C. Zirkel, via Wikimedia Commons (CC BY-SA 3.0).