25,161
edits
Changes
Created page with "'''Home * People * Barbara Liskov''' FILE:Barbara_Liskov.jpg|border|right|thumb|link=http://www.codethinked.com/The-Programmer-Dress-Code---Part-Deux| Ba..."
'''[[Main Page|Home]] * [[People]] * Barbara Liskov'''
[[FILE:Barbara_Liskov.jpg|border|right|thumb|link=http://www.codethinked.com/The-Programmer-Dress-Code---Part-Deux| Barbara Huberman <ref>[http://www.codethinked.com/The-Programmer-Dress-Code---Part-Deux The Programmer Dress Code – Part Deux | CodeThinked] by [http://www.codethinked.com/ Justin Etheredge], December 11, 2007</ref> ]]
'''Barbara Liskov''', (née '''Barbara Jane Huberman''' in 1939)<br/>
an American mathematician, computer scientist and Ford Professor at [https://en.wikipedia.org/wiki/MIT_School_of_Engineering 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]] <ref>[[Jos Uiterwijk]] ('''1992'''). ''The Countermove Heuristic''. [[ICGA Journal#15_1|ICCA Journal, Vol. 15, No. 1]], pp. 8, The killer heuristic</ref> <ref>[[Barbara Liskov|Barbara J. Huberman]] ('''1968'''). ''A Program to Play Chess End Games''. Technical Report no. CS-106, Ph.D. thesis. [[Stanford University]]</ref>. [[Huberman|Huberman's program]] could solve KQK, [[KRK]], KBBK, [[KBNK Endgame|KBNK]], and KNNNK <ref>[[Alex Bell]] ('''1972'''). ''[http://www.chilton-computing.org.uk/acl/literature/books/gamesplaying/overview.htm Games Playing with Computers]''. [https://en.wikipedia.org/wiki/Allen_%26_Unwin Allen & Unwin], ISBN-13: 978-0080212227, [http://www.chilton-computing.org.uk/acl/literature/books/gamesplaying/p005.htm#index19 Chess programs: Huberman]</ref>.
=Turing Award=
Barbara Liskov received the 2008 [[ACM#ACMTuringAward|ACM Turing Award]] for her work on practical and theoretical foundations of [[Languages|programming language]] and [https://en.wikipedia.org/wiki/Systems_design systems design], especially related to [[Data|data]] [https://en.wikipedia.org/wiki/Abstraction_%28computer_science%29 abstraction], [https://en.wikipedia.org/wiki/Fault-tolerant_design fault tolerance], and [https://en.wikipedia.org/wiki/Distributed_computing distributed computing] <ref>[http://www.ddj.com/hpc-high-performance-computing/215801518 Barbara Liskov Wins Turing Award] from [https://en.wikipedia.org/wiki/Dr._Dobb%27s_Journal Dr. Dobb's Journal], March 10, 2009</ref>
=Selected Publications=
<ref>[http://www.informatik.uni-trier.de/~ley/pers/hd/l/Liskov:Barbara.html dblp: Barbara Liskov]</ref>
* [[Barbara Liskov|Barbara J. Huberman]] ('''1968'''). ''A Program to Play Chess End Games''. Technical Report no. CS-106, Ph.D. thesis. [[Stanford University]]
* [[Alex Bell]] ('''1972'''). ''[http://www.chilton-computing.org.uk/acl/literature/books/gamesplaying/overview.htm Games Playing with Computers]''. [https://en.wikipedia.org/wiki/Allen_%26_Unwin Allen & Unwin], [http://www.chilton-computing.org.uk/acl/literature/books/gamesplaying/p005.htm#index19 Chess programs: Huberman]
* [[Barbara Liskov]] ('''1972'''). ''[http://dl.acm.org/citation.cfm?id=1480018 A Design Methodology for Reliable Software Systems]''. [http://www.informatik.uni-trier.de/~ley/db/conf/afips/afips72f1.html#Liskov72 AFIPS '72], [http://www.computer.org/csdl/proceedings/afips/1972/5080/00/50800191.pdf pdf]
* [[Barbara Liskov]], [http://www.unicode.org/iuc/iuc18/b093.html Stephen N. Zilles] ('''1974'''). ''[http://dl.acm.org/citation.cfm?id=807045 Programming with Abstract Data Types]''. [[ACM#SIG|SIGPLAN Notices]], Vol. 9, No. 4
* [[Barbara Liskov]], [https://en.wikipedia.org/wiki/John_Guttag John Guttag] ('''1986'''). ''[http://www.amazon.com/Abstraction-Specification-Development-Electrical-Engineering/dp/0262121123/ref=sr_1_4?ie=UTF8&s=books&qid=1258068701&sr=8-4 Abstraction and Specification in Program Development]''. [https://en.wikipedia.org/wiki/MIT_Press The MIT Press]
* [[Barbara Liskov]], [https://en.wikipedia.org/wiki/John_Guttag John Guttag] ('''2000'''). ''[http://www.amazon.com/Program-Development-Java-Specification-Object-Oriented/dp/0201657686/ref=sr_1_1?s=books&ie=UTF8&qid=1344621866&sr=1-1 Program Development in Java; Abstraction, Specification, and Object-oriented Design]''. [https://en.wikipedia.org/wiki/Addison-Wesley Addison-Wesley]
* [[Barbara Liskov]] ('''2009'''). ''The Power of Abtraction''. [[ACM#ACMTuringAward|ACM Turing Award]] lecture, [http://www.pmg.lcs.mit.edu/~liskov/turing-09-5.pdf slides as pdf], [http://www.infoq.com/presentations/programming-abstraction-liskov Keynote, May 03, 2013]
=External Links=
* [http://www.pmg.csail.mit.edu/~liskov/ Barbara Liskov homepage]
* [https://en.wikipedia.org/wiki/Barbara_Liskov Barbara Liskov from Wikipedia]
* [http://www.engineergirl.org/?id=3046 Barbara Liskov, Computer Engineer, Massachusetts Institute of Technology, Career Description]
* [https://en.wikipedia.org/wiki/Liskov_substitution_principle Liskov substitution principle from Wikipedia]
* [http://genealogy.math.ndsu.nodak.edu/id.php?id=61932 Barbara Jane Huberman Liskov] from [http://genealogy.math.ndsu.nodak.edu/index.php Mathematics Genealogy Project]
* [http://www.codethinked.com/The-Programmer-Dress-Code---Part-Deux The Programmer Dress Code – Part Deux | CodeThinked] by [http://www.codethinked.com/ Justin Etheredge], December 11, 2007
* [http://www.sciencefriday.com/segment/03/13/2009/turing-award-winner-barbara-liskov.html Turing Award Winner Barbara Liskov] from [http://www.sciencefriday.com/ Science Friday], March 13, 2009
* [http://www.ddj.com/hpc-high-performance-computing/215801518 Barbara Liskov Wins Turing Award] from [https://en.wikipedia.org/wiki/Dr._Dobb%27s_Journal Dr. Dobb's Journal], March 10, 2009
* [http://women.acm.org/ ACM Celebrating Women of Distinction]
* [http://bertrandmeyer.com/2011/05/22/in-praise-of-knuth-and-liskov/ In praise of Knuth and Liskov] from [https://en.wikipedia.org/wiki/Bertrand_Meyer Bertrand Meyer's] [http://bertrandmeyer.com/ technology+ blog], May 22, 2011 » [[Donald Knuth]]
* [[Barbara Liskov]]: Programming the Turing Machine, [https://en.wikipedia.org/wiki/YouTube YouTube] Video
: A lecture given on the occasion of [https://en.wikipedia.org/wiki/Princeton_University Princeton University's] [https://www.princeton.edu/turing/events/ centennial celebration] of [[Alan Turing]], May 11, 2012
: {{#evu:https://www.youtube.com/watch?v=ibRar7sWulM|alignment=left|valignment=top}}
=References=
<references />
'''[[People|Up one level]]'''
[[FILE:Barbara_Liskov.jpg|border|right|thumb|link=http://www.codethinked.com/The-Programmer-Dress-Code---Part-Deux| Barbara Huberman <ref>[http://www.codethinked.com/The-Programmer-Dress-Code---Part-Deux The Programmer Dress Code – Part Deux | CodeThinked] by [http://www.codethinked.com/ Justin Etheredge], December 11, 2007</ref> ]]
'''Barbara Liskov''', (née '''Barbara Jane Huberman''' in 1939)<br/>
an American mathematician, computer scientist and Ford Professor at [https://en.wikipedia.org/wiki/MIT_School_of_Engineering 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]] <ref>[[Jos Uiterwijk]] ('''1992'''). ''The Countermove Heuristic''. [[ICGA Journal#15_1|ICCA Journal, Vol. 15, No. 1]], pp. 8, The killer heuristic</ref> <ref>[[Barbara Liskov|Barbara J. Huberman]] ('''1968'''). ''A Program to Play Chess End Games''. Technical Report no. CS-106, Ph.D. thesis. [[Stanford University]]</ref>. [[Huberman|Huberman's program]] could solve KQK, [[KRK]], KBBK, [[KBNK Endgame|KBNK]], and KNNNK <ref>[[Alex Bell]] ('''1972'''). ''[http://www.chilton-computing.org.uk/acl/literature/books/gamesplaying/overview.htm Games Playing with Computers]''. [https://en.wikipedia.org/wiki/Allen_%26_Unwin Allen & Unwin], ISBN-13: 978-0080212227, [http://www.chilton-computing.org.uk/acl/literature/books/gamesplaying/p005.htm#index19 Chess programs: Huberman]</ref>.
=Turing Award=
Barbara Liskov received the 2008 [[ACM#ACMTuringAward|ACM Turing Award]] for her work on practical and theoretical foundations of [[Languages|programming language]] and [https://en.wikipedia.org/wiki/Systems_design systems design], especially related to [[Data|data]] [https://en.wikipedia.org/wiki/Abstraction_%28computer_science%29 abstraction], [https://en.wikipedia.org/wiki/Fault-tolerant_design fault tolerance], and [https://en.wikipedia.org/wiki/Distributed_computing distributed computing] <ref>[http://www.ddj.com/hpc-high-performance-computing/215801518 Barbara Liskov Wins Turing Award] from [https://en.wikipedia.org/wiki/Dr._Dobb%27s_Journal Dr. Dobb's Journal], March 10, 2009</ref>
=Selected Publications=
<ref>[http://www.informatik.uni-trier.de/~ley/pers/hd/l/Liskov:Barbara.html dblp: Barbara Liskov]</ref>
* [[Barbara Liskov|Barbara J. Huberman]] ('''1968'''). ''A Program to Play Chess End Games''. Technical Report no. CS-106, Ph.D. thesis. [[Stanford University]]
* [[Alex Bell]] ('''1972'''). ''[http://www.chilton-computing.org.uk/acl/literature/books/gamesplaying/overview.htm Games Playing with Computers]''. [https://en.wikipedia.org/wiki/Allen_%26_Unwin Allen & Unwin], [http://www.chilton-computing.org.uk/acl/literature/books/gamesplaying/p005.htm#index19 Chess programs: Huberman]
* [[Barbara Liskov]] ('''1972'''). ''[http://dl.acm.org/citation.cfm?id=1480018 A Design Methodology for Reliable Software Systems]''. [http://www.informatik.uni-trier.de/~ley/db/conf/afips/afips72f1.html#Liskov72 AFIPS '72], [http://www.computer.org/csdl/proceedings/afips/1972/5080/00/50800191.pdf pdf]
* [[Barbara Liskov]], [http://www.unicode.org/iuc/iuc18/b093.html Stephen N. Zilles] ('''1974'''). ''[http://dl.acm.org/citation.cfm?id=807045 Programming with Abstract Data Types]''. [[ACM#SIG|SIGPLAN Notices]], Vol. 9, No. 4
* [[Barbara Liskov]], [https://en.wikipedia.org/wiki/John_Guttag John Guttag] ('''1986'''). ''[http://www.amazon.com/Abstraction-Specification-Development-Electrical-Engineering/dp/0262121123/ref=sr_1_4?ie=UTF8&s=books&qid=1258068701&sr=8-4 Abstraction and Specification in Program Development]''. [https://en.wikipedia.org/wiki/MIT_Press The MIT Press]
* [[Barbara Liskov]], [https://en.wikipedia.org/wiki/John_Guttag John Guttag] ('''2000'''). ''[http://www.amazon.com/Program-Development-Java-Specification-Object-Oriented/dp/0201657686/ref=sr_1_1?s=books&ie=UTF8&qid=1344621866&sr=1-1 Program Development in Java; Abstraction, Specification, and Object-oriented Design]''. [https://en.wikipedia.org/wiki/Addison-Wesley Addison-Wesley]
* [[Barbara Liskov]] ('''2009'''). ''The Power of Abtraction''. [[ACM#ACMTuringAward|ACM Turing Award]] lecture, [http://www.pmg.lcs.mit.edu/~liskov/turing-09-5.pdf slides as pdf], [http://www.infoq.com/presentations/programming-abstraction-liskov Keynote, May 03, 2013]
=External Links=
* [http://www.pmg.csail.mit.edu/~liskov/ Barbara Liskov homepage]
* [https://en.wikipedia.org/wiki/Barbara_Liskov Barbara Liskov from Wikipedia]
* [http://www.engineergirl.org/?id=3046 Barbara Liskov, Computer Engineer, Massachusetts Institute of Technology, Career Description]
* [https://en.wikipedia.org/wiki/Liskov_substitution_principle Liskov substitution principle from Wikipedia]
* [http://genealogy.math.ndsu.nodak.edu/id.php?id=61932 Barbara Jane Huberman Liskov] from [http://genealogy.math.ndsu.nodak.edu/index.php Mathematics Genealogy Project]
* [http://www.codethinked.com/The-Programmer-Dress-Code---Part-Deux The Programmer Dress Code – Part Deux | CodeThinked] by [http://www.codethinked.com/ Justin Etheredge], December 11, 2007
* [http://www.sciencefriday.com/segment/03/13/2009/turing-award-winner-barbara-liskov.html Turing Award Winner Barbara Liskov] from [http://www.sciencefriday.com/ Science Friday], March 13, 2009
* [http://www.ddj.com/hpc-high-performance-computing/215801518 Barbara Liskov Wins Turing Award] from [https://en.wikipedia.org/wiki/Dr._Dobb%27s_Journal Dr. Dobb's Journal], March 10, 2009
* [http://women.acm.org/ ACM Celebrating Women of Distinction]
* [http://bertrandmeyer.com/2011/05/22/in-praise-of-knuth-and-liskov/ In praise of Knuth and Liskov] from [https://en.wikipedia.org/wiki/Bertrand_Meyer Bertrand Meyer's] [http://bertrandmeyer.com/ technology+ blog], May 22, 2011 » [[Donald Knuth]]
* [[Barbara Liskov]]: Programming the Turing Machine, [https://en.wikipedia.org/wiki/YouTube YouTube] Video
: A lecture given on the occasion of [https://en.wikipedia.org/wiki/Princeton_University Princeton University's] [https://www.princeton.edu/turing/events/ centennial celebration] of [[Alan Turing]], May 11, 2012
: {{#evu:https://www.youtube.com/watch?v=ibRar7sWulM|alignment=left|valignment=top}}
=References=
<references />
'''[[People|Up one level]]'''
