Barbara+Liskov

an American mathematician, computer scientist and Ford Professor at [|MIT School of Engineering] at Massachusetts Institute of Technology. In 1968 Stanford University made her the first woman in the United States to be awarded a Ph.D. from a computer science department, advised by John McCarthy. The topic of her Ph.D. thesis was a //computer program to play chess end games//, where she proposed the Killer Heuristic. Huberman's program could solve KQK, KRK, KBBK, KBNK, and KNNNK. || toc =Turing Award= Barbara Liskov received the 2008 ACM Turing Award for her work on practical and theoretical foundations of programming language and [|systems design], especially related to data [|abstraction], [|fault tolerance], and [|distributed computing]
 * Home * People * Barbara Liskov**
 * [[image:Barbara_Liskov.jpg link="http://www.codethinked.com/The-Programmer-Dress-Code---Part-Deux"]] ||~  || **Barbara Liskov**, (née **Barbara Jane Huberman** in 1939)
 * Barbara Huberman ||~  ||^   ||


 * [[image:BarbaraLiskov2.jpg link="http://www.sciencefriday.com/segment/03/13/2009/turing-award-winner-barbara-liskov.html"]] ||
 * Turing Award Winner Barbara Liskov ||

=Selected Publications=
 * Barbara J. Huberman (**1968**). //A Program to Play Chess End Games//. Technical Report no. CS-106, Ph.D. thesis. Stanford University
 * Alex Bell (**1972**). //[|Games Playing with Computers]//. [|Allen & Unwin], [|Chess programs: Huberman]
 * Barbara Liskov (**1972**). //[|A Design Methodology for Reliable Software Systems]//. [|AFIPS '72], [|pdf]
 * Barbara Liskov, [|Stephen N. Zilles] (**1974**). //[|Programming with Abstract Data Types]//. SIGPLAN Notices, Vol. 9, No. 4
 * Barbara Liskov, [|John Guttag] (**1986**). //[|Abstraction and Specification in Program Development]//. [|The MIT Press]
 * Barbara Liskov, [|John Guttag] (**2000**). //[|Program Development in Java; Abstraction, Specification, and Object-oriented Design]//. [|Addison-Wesley]
 * Barbara Liskov (**2009**). //The Power of Abtraction//. ACM Turing Award lecture, [|slides as pdf], [|Keynote,  May 03, 2013]

=External Links= > A lecture given on the occasion of [|Princeton University's] [|centennial celebration] of Alan Turing, May 11, 2012 > media type="custom" key="25592908"
 * [|Barbara Liskov homepage]
 * [|Barbara Liskov from Wikipedia]
 * [|Barbara Liskov, Computer Engineer, Massachusetts Institute of Technology, Career Description]
 * [|Liskov substitution principle from Wikipedia]
 * [|Barbara Jane Huberman Liskov] from [|Mathematics Genealogy Project]
 * [|The Programmer Dress Code – Part Deux | CodeThinked] by [|Justin Etheredge], December 11, 2007
 * [|Turing Award Winner Barbara Liskov] from [|Science Friday], March 13, 2009
 * [|Barbara Liskov Wins Turing Award] from [|Dr. Dobb's Journal], March 10, 2009
 * [|ACM Celebrating Women of Distinction]
 * [|In praise of Knuth and Liskov] from [|Bertrand Meyer's] [|technology+ blog], May 22, 2011 » Donald Knuth
 * Barbara Liskov: Programming the Turing Machine, [|YouTube] Video

=References= =What links here?= include page="Barbara Liskov" component="backlinks" limit="40"
 * Up one level**