Home * People * Barbara Liskov

		Barbara Liskov, (née Barbara Jane Huberman in 1939) 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 [1] [2]. Huberman's program could solve KQK, KRK, KBBK, KBNK, and KNNNK [3].
Barbara Huberman [4]

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 ^[5]

Turing Award Winner Barbara Liskov [6]

Selected Publications

^[7]

• 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

• 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
  A lecture given on the occasion of Princeton University's centennial celebration of Alan Turing, May 11, 2012
  

References

1. ^ Jos Uiterwijk (1992). The Countermove Heuristic. ICCA Journal, Vol. 15, No. 1, pp. 8, The killer heuristic
2. ^ Barbara J. Huberman (1968). A Program to Play Chess End Games. Technical Report no. CS-106, Ph.D. thesis. Stanford University
3. ^ Alex Bell (1972). Games Playing with Computers. Allen & Unwin, ISBN-13: 978-0080212227, Chess programs: Huberman
4. ^ The Programmer Dress Code – Part Deux | CodeThinked by Justin Etheredge, December 11, 2007
5. ^ Barbara Liskov Wins Turing Award from Dr. Dobb's Journal, March 10, 2009
6. ^ Turing Award Winner Barbara Liskov from Science Friday, March 13, 2009
7. ^ dblp: Barbara Liskov

What links here?

Up one level