Barbara Liskov
loreprogramming
The 2008 Turing Award recipient, cited for practical and theoretical foundations of programming language and system design, especially data abstraction, fault tolerance and distributed computing.
The substitution principle that carries her name is the one most programmers meet: a subtype must be usable anywhere its supertype is, without the caller needing to know. That is a statement about interfaces rather than about inheritance, and it is why abstraction survives contact with a large codebase. Her distributed systems work matters as much and is credited less - she and her student Brian Oki arrived at view-stamped replication at about the same time as Paxos, independently, which is the second time in this history that two groups reached the same answer without knowing.
Also known as: liskov, liskov substitution