V · Craft & community
Barbara Liskov
1939–
MIT · 2008 Turing laureate
Gave us
CLU (the first language with abstract data types). The Liskov substitution principle. Distributed-systems work on Argus and Thor.
The story
First American woman to earn a PhD in computer science (Stanford 1968). Her LSP — "if S is a subtype of T, then objects of T may be replaced with objects of S without altering correctness" — is one of the few principles every working OO programmer can name.