Barbara Liskov

  • Universitas California, Berkeley
  • Universitas Stanford
Dikenal atas
  • Venus (sistem operasi)
  • CLU dan Argus
  • Thor (basis data berorientasi objek)
  • Prinsip substitusi Liskov
Suami/istriNathan Liskov (1970–)Anak1Penghargaan
  • IEEE John von Neumann Medal (2004)
  • A. M. Turing Award (2008)
  • Computer Pioneer Award (2018)
Karier ilmiahBidangIlmu komputerInstitusiInstitut Teknologi MassachusettsDisertasiA Program to Play Chess End Games (1968)Pembimbing doktoralJohn McCarthy[1]Mahasiswa doktoralMaurice Herlihy, J. Eliot Moss, Sanjay Ghemawat

Barbara Liskov (lahir 7 November 1939 sebagai Barbara Jane Huberman) adalah seorang ilmuwan komputer Amerika Serikat.[2] Ia adalah salah satu wanita pertama yang meraih gelar dokterandes dalam ilmu komputer di Amerika Serikat dan pemenang Penghargaan Turing yang mengembangkan prinsip substitusi Liskov.

Referensi

  1. ^ Barbara Liskov di Mathematics Genealogy Project
  2. ^ Barbara Liskov – A.M. Turing Award Winner

Pranala luar

  • Prof. Liskov's home page
  • Programming Methodology Group
  • Turing Award press release
  • Interview in Quanta magazine
  • Tom Van Vleck, Barbara Liskov, A.M. Turing Award Winner
  • National Public Radio "Science Friday" interview with Barbara Liskov, originally aired on 13 Mar 2009
  • Celebrating Women of Distinction, Barbara Liskov, Turing Award interview by, Stephen Ibaraki
  • "Barbara Liskov: An Interview Conducted by William Aspray, IEEE History Center, August 6, 1991". GHN: IEEE Global History Network. Diakses tanggal 2013-11-29. 
  • John V. Guttag, Barbara Liskov, The Electron and The Bit: EECS at MIT, 1902–2002, Chapter VII: "Pioneering Women in EECS", pp. 225–239, 2003, Department of Electrical Engineering and Computer Science, MIT
  • Barbara Liskov named Institute Professor, MIT News, July 1, 2008
  • Department News: Barbara Liskov named Institute Professor Diarsipkan 2016-11-05 di Wayback Machine., EECS Newsletter, Fall 2008
  • Natasha Plotkin, Barbara Liskov named Institute Professor, The Tech (MIT), 128,29, July 9, 2008
  • Robert Weisman, Top prize in computing goes to MIT professor, The Boston Globe, March 10, 2009
  • Erica Naone, Driven to Abstraction, MIT Technology Review, December 21, 2009
  • Barbara Liskov Diarsipkan 2018-07-12 di Wayback Machine. at the Chess programming wiki
  • l
  • b
  • s
Penerima Penghargaan A. M. Turing
1960an
  • Alan Perlis (1966)
  • Maurice Vincent Wilkes (1967)
  • Richard Hamming (1968)
  • Marvin Minsky (1969)
1970an
  • James H. Wilkinson (1970)
  • John McCarthy (1971)
  • Edsger W. Dijkstra (1972)
  • Charles Bachman (1973)
  • Donald Knuth (1974)
  • Allen Newell; Herbert A. Simon (1975)
  • Michael O. Rabin; Dana Scott (1976)
  • John Backus (1977)
  • Robert W. Floyd (1978)
  • Kenneth E. Iverson (1979)
1980an
1990an
2000an
  • Andrew Yao (2000)
  • Ole-Johan Dahl; Kristen Nygaard (2001)
  • Ron Rivest; Adi Shamir; Leonard Adleman (2002)
  • Alan Kay (2003)
  • Vint Cerf; Bob Kahn (2004)
  • Peter Naur (2005)
  • Frances Allen (2006)
  • Edmund M. Clarke; E. Allen Emerson; Joseph Sifakis (2007)
  • Barbara Liskov (2008)
  • Charles P. Thacker (2009)
2010an
2020an
Pengawasan otoritas Sunting ini di Wikidata
Umum
  • Integrated Authority File (Jerman)
  • ISNI
    • 1
  • VIAF
    • 1
  • WorldCat (via VIAF)
Perpustakaan nasional
  • Norwegia
  • Prancis (data)
  • Amerika Serikat
  • Latvia
  • Australia
  • Yunani
  • Belanda
Basis data ilmiah
  • Association for Computing Machinery
  • CiNii (Jepang)
  • DBLP (computer science)
  • Mathematics Genealogy Project
  • Semantic Scholar
Lain-lain
  • RERO (Swiss)
    • 1
  • SUDOC (Prancis)
    • 1