Barbara Liskov is professor of computer science at MIT. Well known for her contributions to programming methodology and software engineering, she is co-author (with John Guttag) of the influential book, Abstraction and Specification in Program Development. Barbara is the recipient of the 2008 A.M. Turing Award, one of the highest honors in science and engineering.