Barbara Liskov - Barbara Liskov

Barbara Liskov
Barbara Liskov MIT počítačový vědec 2010.jpg
Liskov v roce 2010.
narozený
Barbara Jane Huberman

(1939-11-07) 7. listopadu 1939 (věk 81)
Los Angeles, Kalifornie
Národnostamerický
Alma mater
Známý jako
Manžel (y)Nathan Liskov (1970–)
Děti1
Ocenění
Vědecká kariéra
PolePočítačová věda
InstituceMassachusetts Institute of Technology
TezeProgram hraní šachových her  (1968)
Doktorský poradceJohn McCarthy[1]
DoktorandiMaurice Herlihy, J. Eliot Moss, Sanjay Ghemawat

Barbara Liskov (narozen 7. listopadu 1939 jako Barbara Jane Huberman) je Američan počítačový vědec[2] kdo je Profesor ústavu na Massachusetts Institute of Technology a Ford profesor inženýrství v jeho School of Engineering je elektrotechnika a počítačová věda oddělení.[3] Byla jednou z prvních žen, které ve Spojených státech získaly doktorát z informatiky, a je Turing Award vítěz, který vyvinul Princip substituce Liskov.

raný život a vzdělávání

Liskov se narodil 7. listopadu 1939 v Los Angeles, Kalifornie,[4] do židovské rodiny, nejstarší z Jane (rozená Dickhoff) a čtyř dětí Mosese Hubermana.[5] Zasloužila si ji BA v matematice s nezletilým ve fyzice na University of California, Berkeley v roce 1961. Ve svých třídách měla ještě jednu spolužačku, zbytek byli muži.[6] Poté, co promovala, se přihlásila na postgraduální matematické programy v Berkeley a Princeton. V té době Princeton nepřijímal studentky matematiky.[7] Byla přijata do Berkeley, ale místo studia se přestěhovala do Bostonu a začala pracovat v Mitre Corporation. Právě tam se začala zajímat o počítače a programování. Jeden rok pracovala v Mitre, poté nastoupila na programátorskou pozici na Harvard, kde pracovala na jazykovém překladu.[7]

Poté se rozhodla jít zpět do školy a znovu se přihlásit do Berkeley, ale také do Stanfordu a Harvardu. V roce 1968 se stala jedna z prvních žen ve Spojených státech získala doktorát z oddělení výpočetní techniky, když jí byl udělen titul z Stanfordská Univerzita.[8][9] Ve Stanfordu pracovala s John McCarthy a byla podporována pro práci v umělá inteligence.[7] Téma její Ph.D. diplomová práce byl počítačový program, který se měl hrát šachové koncovky.[10]

Kariéra

Po absolvování Stanfordu se Liskov vrátil do Mitre, kde pracoval jako výzkumný personál.[2]

Liskov vedl mnoho významných projektů, včetně operačního systému Venus, malého, levného a interaktivního systému sdílení času; návrh a implementace CLU; Argus, první jazyk na vysoké úrovni, který podporuje implementaci distribuovaných programů a předvádí techniku slib potrubí; a Thor, objektově orientovaná databáze Systém. S Jeannette Wing, vyvinula konkrétní definici podtypování, běžně známý jako Princip substituce Liskov. Vede Skupinu metodiky programování v MIT, se současným výzkumným zaměřením v Byzantská odolnost vůči chybám a distribuované výpočty.[3]

Uznání a ocenění

Liskov je členem National Academy of Engineering, Národní akademie věd a kolega z Americká akademie umění a věd a Sdružení pro výpočetní techniku (ACM). V roce 2002 byla uznána jako jedna z nejlepších ženských členů fakulty na MIT a mezi 50 nejlepšími členy fakulty ve vědách v USA[11] V roce 2002 Objevit časopis uznal Liskov jako jednu z 50 nejvýznamnějších žen ve vědě.[12]

V roce 2004 vyhrála Barbara Liskov Medaile Johna von Neumanna pro „základní příspěvky k programovacím jazykům, metodice programování a distribuovaným systémům“.[13] Dne 19. Listopadu 2005 Barbara Liskov a Donald E. Knuth byly oceněny ETH Čestné doktoráty.[14] Liskov a Knuth byli také vystupoval v seriálu ETH Curych Distinguished Colloquium Series.[15] V roce 2018 byla oceněna jako Doktor Honoris Causa podle Universidad Politécnica de Madrid.[16]

Liskov obdržel 2008 Turing Award z ACM, v březnu 2009,[17] za její práci při navrhování programovacích jazyků a softwarové metodiky, která vedla k vývoji objektově orientované programování.[18] Liskov konkrétně vyvinul dva programovací jazyky, CLU[19] v 70. letech a Argus[20] v 80. letech.[18] ACM citovala své příspěvky k praktickým a teoretickým základům "programovacího jazyka a" návrh systému, zvláště související s abstrakce dat, odolnost proti chybám, a distribuované výpočty ".[21] V roce 2012 byla uvedena do Síň slávy národních vynálezců.[22]

Barbara Liskov je autorkou tří knih a více než sto technických prací.

Osobní život

V roce 1970 se provdala za Nathana Liskova.[7]

Viz také

Reference

  1. ^ Barbara Liskov na Matematický genealogický projekt
  2. ^ A b Barbara Liskov - A.M. Vítěz ceny Turing
  3. ^ A b Barbara Liskov, Metodická skupina programování, MIT.
  4. ^ Karagianis, Liz (podzim 2009). „Nejlepší cena“. MIT spektrum. Citováno 10. července 2016.
  5. ^ „Jane Siegel: Obituary“. San Francisco Chronicle (přes Legacy.com). 24. ledna 2010. Citováno 2014-11-18.
  6. ^ D'Agostino, Susan. „Architekt moderních algoritmů“. Časopis Quanta. Citováno 2020-10-21.
  7. ^ A b C d Guttag, John (01.01.2005). Elektron a bit: elektrotechnika a informatika na Massachusetts Institute of Technology, 1902–2002. Cambridge, Massachusetts: MIT, elektrotechnika a informatika OCLC  61332947.
  8. ^ „Barbara Liskov“. EngineerGirl. Citováno 2007-09-06. Profil z Národních technických akademií.
  9. ^ „UW-Madison Computer Science Ph.D.s Awarded, květen 1965 - srpen 1970“. Citováno 2010-11-08. Doktorské diplomy udělené na oddělení počítačových věd UW-Madison.
  10. ^ Huberman (Liskov), Barbara Jane (1968). Program pro hraní šachových her (PDF) (Zpráva). Technická zpráva CS 106, Stanford Artificial Intelligence Project Memo AI-65. Katedra výpočetní techniky na Stanfordské univerzitě.
  11. ^ „Nádherných sedm MIT: Členky ženských fakult jsou uváděny jako špičkové vědkyně“. Zpravodajská kancelář MIT. Cambridge, MA. 5. listopadu 2002. Citováno 29. října 2012.
  12. ^ Svitil, Kathy (13. listopadu 2002). „50 nejvýznamnějších žen ve vědě“. Objevit. Citováno 1. května 2019.
  13. ^ Příjemci medaile Johna von Neumanna z IEEE z webu IEEE
  14. ^ „Čestní lékaři“. Curych: ETH Computer Science. 22. března 2006. Archivovány od originál dne 8. ledna 2013. Citováno 29. října 2012. Barbara Liskov a Donald E. Knuth obdrželi 19. listopadu 2005 titul čestný doktor ETH.
  15. ^ „Významní lektoři Barbara Liskov a Donald E. Knuth“. Curych: ETH Computer Science. Leden 2006. Archivovány od originál dne 8. ledna 2013. Citováno 29. října 2012.
  16. ^ elEconomista.es. „Barbara Liskov, nueva doctora honoris causa por la UPM - elEconomista.es“ (ve španělštině). Citováno 2018-06-11.
  17. ^ Weisman, Robert (10. března 2009). „Hlavní cena v oboru výpočetní techniky patří profesorovi MIT“. The Boston Globe.
  18. ^ A b Barbara Liskov vyhrála Turingovu cenu 10. března 2009 z Dr. Dobb's Journal webová stránka
  19. ^ Liskov, B.; Snyder, A .; Atkinson, R .; Schaffert, C. (srpen 1977). Msgstr "Abstrakční mechanismy v CLU". Komunikace ACM. 20 (8): 564–576. CiteSeerX  10.1.1.112.656. doi:10.1145/359763.359789. S2CID  17343380.
  20. ^ Liskov, B. (Březen 1988). "Distribuované programování v Argusu". Comm. ACM. 31 (3): 300–312. doi:10.1145/42392.42399. S2CID  16233001.
  21. ^ „Jméno ACM Barbara Liskov Příjemce ceny ACM A.M. Turinga 2008“. Sdružení pro výpočetní techniku. Archivovány od originál dne 16. 7. 2012. Citováno 2009-03-10.
  22. ^ "Reflektor | Síň slávy národních vynálezců". Invent.org. 21. 11. 2013. Archivovány od originál dne 2016-08-14. Citováno 2016-05-31.

externí odkazy