PeopleofSuperintelligence

Researcher

Barbara H. Liskov

Also known as B. H. Liskov, B. Liskov, B.H. Liskov, Barbara Liskov

Barbara Liskov is a professor at MIT whose work connects early artificial intelligence research with programming languages and distributed systems. At Stanford, she worked with John McCarthy on an AI chess program and completed a computer science doctorate in 1968. She joined MIT in 1972 and developed CLU for data abstraction; her distributed-systems work also produced Argus. With Miguel Castro, she published a 1999 correctness proof for practical Byzantine fault tolerance. She received the Turing Award in 2008 and the Benjamin Franklin Medal in 2023, and in July 2026 she discussed replication and the systems research prompted by AI.

Works
283
Citations
24,327
h-index
70

Publication numbers from OpenAlex, as of 15 October 2026.

Timeline

  1. 1961–1968

    An AI chess thesis

    She earns a mathematics degree at Berkeley in 1961, joins MITRE as a programmer, and works on Harvard's language-translation project. At Stanford, she researches AI chess with John McCarthy and completes a computer science PhD in 1968.

  2. 1972

    Joining MIT's faculty

    After returning to MITRE to research the Venus system, she joins MIT as a professor and researcher in 1972.

  3. 1970s

    CLU and data abstraction

    Her data-abstraction work begins in the 1970s, showing how software can be easier to build, modify, and maintain. At MIT, she creates CLU, the first programming language to support data abstraction.

  4. 1987

    The Liskov Substitution Principle

    Her distributed-systems work includes Argus, a language for distributed programs. In a 1987 conference address, she introduces the Liskov Substitution Principle.

  5. 1999

    Practical Byzantine fault tolerance

    With Miguel Castro, she writes a correctness proof for a practical state-machine replication algorithm in June 1999. The algorithm tolerates Byzantine faults in asynchronous systems such as the Internet.

  6. 2008

    An ACM Turing Award

    She wins the ACM A.M. Turing Award in 2008 for contributions to programming languages and system design.

  7. 2023

    A Benjamin Franklin Medal

    In 2023, the Franklin Institute awards her the Benjamin Franklin Medal in Computer and Cognitive Science for contributions to programming languages and methodology.

  8. As of October 2026

    Professor at MIT

    She is a professor at MIT. In July 2026, she takes part in a conversation about viewstamped replication, practical Byzantine fault tolerance, and the systems research prompted by AI.

Sources and credits

Photo: We have no published photo of Barbara H. Liskov yet. Send us a free-licensed photo.

  1. Barbara Liskov - CHM computerhistory.org. Checked 15 October 2026.
  2. Who Invented Modern Programming Languages? | National Inventors Hall of Fame invent.org. Checked 15 October 2026.
  3. Barbara Liskov | National Inventors Hall of Fame Inductee invent.org. Checked 15 October 2026.
  4. Barbara Liskov: Innovator in Programming Languages & Data Abstraction cap.csail.mit.edu. Checked 15 October 2026.
  5. Barbara H. Liskov, Ph.D. | The Franklin Institute fi.edu. Checked 15 October 2026.
  6. A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm microsoft.com. Checked 15 October 2026.
  7. Before Blockchains, There Was State Machine Replication a16z.com. Checked 15 October 2026.