芭芭拉·利斯科夫（Barbara Liskov）

生平

Barbara Liskov 生于 1939 年，美国计算机科学家，麻省理工学院教授，是美国最早获得计算机科学博士学位的女性之一，2008 年因在编程语言与系统设计方面的贡献获图灵奖。

主要贡献

在编程语言领域，她主导设计了 CLU 语言，开创数据抽象与迭代器等机制，并提出著名的里氏替换原则（Liskov Substitution Principle），成为面向对象设计 SOLID 原则之一。在分布式系统领域，她与 Brian Oki 提出 Viewstamped Replication 复制协议，与学生 Miguel Castro 提出 PBFT——首个实用的拜占庭容错算法，直接影响了后来的联盟链与区块链共识设计。

影响

Liskov 的工作贯穿抽象、模块化与容错三大主题，被誉为连接编程语言与分布式系统两个领域的桥梁式人物。