Barbara Liskov (born November 7, 1939, as Barbara Jane Huberman) is an American computer scientist who has made pioneering contributions to programming languages and distributed computing. Her notable work includes the introduction of abstract data types and the accompanying principle of data abstraction, along with the Liskov substitution principle, which applies these ideas to object-oriented programming, subtyping, and inheritance. Her work was recognized with the 2008 Turing Award, the highest distinction in computer science.
Liskov is one of the earliest women to have been granted a doctorate in computer science in the United States, and the second woman to receive the Turing award. She is currently an Institute Professor and Ford Professor of Engineering at the Massachusetts Institute of Technology.[2][3]
^Barbara Liskov at the Mathematics Genealogy Project
^"Barbara Liskov". A.M. Turing Award. Association for Computing Machinery. Retrieved 28 August 2021.
BarbaraLiskov (born November 7, 1939, as Barbara Jane Huberman) is an American computer scientist who has made pioneering contributions to programming...
called strong behavioral subtyping, that was initially introduced by BarbaraLiskov in a 1987 conference keynote address titled Data abstraction and hierarchy...
Only three women have been awarded the prize: Frances Allen (in 2006), BarbaraLiskov (in 2008), and Shafi Goldwasser (in 2012). As of 2024, 77 people have...
Management Technique for Object-Oriented Databases. His advisors were BarbaraLiskov and Frans Kaashoek. Before joining Google, Ghemawat worked at the DEC...
principle of safe substitution is often called the Liskov substitution principle, after BarbaraLiskov who popularized it in a keynote address at a conference...
AEGIS Warship, and other applications. Recent work by Miguel Castro and BarbaraLiskov used the state machine approach in what they call a "Practical Byzantine...
Ukraine-born computer scientist; computational complexity, Knuth Prize (2012) BarbaraLiskov (born Huberman), first woman to be granted a doctorate in computer science...
McCarthy, Silvio Micali, Marvin Minsky, Ronald L. Rivest, Adi Shamir, BarbaraLiskov, Michael Stonebraker, and Tim Berners-Lee IJCAI Computers and Thought...
pipelining technique (using futures to overcome latency) was invented by BarbaraLiskov and Liuba Shrira in 1988, and independently by Mark S. Miller, Dean...
FTMP, Honeywell's MMFCS, and SRI's SIFT. In 1999, Miguel Castro and BarbaraLiskov introduced the "Practical Byzantine Fault Tolerance" (PBFT) algorithm...
Retrieved 21 July 2014. Abelson & Sussman 1996, Chapter 1, footnote 11. BarbaraLiskov, "A History of CLU", MIT Laboratory for Computer Science Technical Report...
Australia's first female Chief Scientist. 2008: American computer scientist BarbaraLiskov won the Turing Award for "contributions to practical and theoretical...
software engineering.[citation needed] ADTs were first proposed by BarbaraLiskov and Stephen N. Zilles in 1974, as part of the development of the CLU...
for women in computing. Some of Liuba Shrira's publications include: BarbaraLiskov; Sanjay Ghemawat; Robert Gruber; Paul Johnson; Liuba Shrira; Michael...
1991. Archived from the original on 2004-05-11. Retrieved 2007-03-23. "BarbaraLiskov named Institute Professor". Retrieved 2008-07-01. "MIT Sloan Faculty...
Dan Ingalls, Leonard Kleinrock 2023: Rodney Brooks, Thomas E. Kurtz, BarbaraLiskov San Francisco Bay Area portal Computer museums History of computing...
(Ph.D. computer science), winner of IJCAI Computers and Thought Award BarbaraLiskov (Ph.D.), first female Ph.D. in computer science in the US and Turing...
on-board flight software for the Apollo's Missions to Space. BarbaraLiskov: developed the "Liskov substitution principle." Radia Perlman: invented the "Spanning...
Steven Pieper at Argonne National Laboratory Speakeasy-2 1974 CLU BarbaraLiskov ALGOL 60, Lisp, Simula 1974 GRASS Thomas A. DeFanti BASIC 1974 BASIC...
1962, Logo by Cynthia Solomon in 1967 with members of her team, CLU by BarbaraLiskov in 1974, Smalltalk by Adele Goldberg, Diana Merry, and four main other...