Liškov, Barbara

Barbara Liskov ( eng.  Barbara Liskov , rozená Barbara Jane Huberman  - Barbara Jane Huberman ; nar. 7. listopadu 1939 ) – americká počítačová vědkyně , výzkumnice problému abstrakce dat , vedoucí skupiny pro vývoj programovacího jazyka Clu , vítězka Turingovy ceny za rok 2008 .

Člen US National Academy of Engineering (1988) [1] , US National Academy of Sciences (2012) [2] .

Životopis

Narodila se v Kalifornii, kde se usadili její prarodiče z otcovy strany – emigranti z Ruské říše Lev Guberman a Rosa Margolis. V roce 1961 získala bakalářský titul z matematiky na Kalifornské univerzitě v Berkeley , poté pokračovala ve studiu na Stanfordu , kde v roce 1968 jako první žena ve Spojených státech získala doktorát z informatiky s dizertační prací na programová implementace hry v šachové koncovce ( Program pro hraní chessendgames ).

Od roku 1972 pracuje a vyučuje na Massachusetts Institute of Technology .

Vedla vývoj programovacích jazyků jako Clu a Argus v 70. a 80. letech 20. století a také objektově orientovaného systému správy databází Thor. Spolu s Jennette Wing vyvinula v roce 1987 princip substituce ,  koncept subtypingu. Vede Programming Methodology Group na Massachusetts Institute of Technology, v současnosti se zaměřuje na odolnost proti chybám BFT a distribuované výpočty.

Člen Americké akademie věd a umění a Asociace pro výpočetní techniku .

Liskov vždy povzbuzoval studentky, podporoval je a věnuje velkou pozornost tomu, aby se informatika stala přívětivějším oborem, zejména pro ženy. Náborem více žen a mladších učitelů jim Liskov pomáhá budovat jejich kariéru a postupovat dále. Dnes je MIT velmi odlišná od místa, kde začala svou kariéru na začátku 70. let. Poté na fakultě pracovala jen malá skupina zaměstnankyň [3] .

Manžel - Nathan Liskov ( Nathan Arthur Liskov , ženatý v roce 1970) a syn Moses Liskov ( Moses Liskov , 1975) - rovněž vědci v oblasti informatiky.

Ocenění

• 2004  - Medaile Johna von Neumanna
• 2005  - čestný doktorát z ETH Zurich [4]
• 2008  - Turing Award “ za přínos k praktickým a teoretickým základům programovacích jazyků a návrhu systémů, zejména v oblasti výzkumu tolerance chyb, abstrakce dat a distribuovaného počítání. » [5] [6]
• 2013 - Cena Harolda Pendera
• 2018 — Průkopník výpočetní techniky

Bibliografie

• Referenční příručka CLU, 1984
• Abstrakce a specifikace ve vývoji programu, 1986
• Vývoj programu v Javě: Abstrakce, specifikace a objektově orientovaný design, 2001

Poznámky

1. ↑ Dr. Barbara H. Liskov Archivováno 2. května 2019 na Wayback Machine  
2. ↑ Liskov, Barbara na webu Národní akademie věd USA  
3. ↑ Vedení k abstrakci .
4. ↑ ETH - Computer Science - Honorary Doctors  (angl.)  (nepřístupný odkaz) . Datum přístupu: 29. října 2012. Archivováno z originálu 8. ledna 2013.
5. ↑ ACM Award Citation / Barbara Liskov  (odkaz není dostupný)
6. ↑ John Timmer. ACM uděluje Turingovu cenu OOP , průkopníkovi distribuovaných počítačů  . Ars Technica (10. března 2009). Získáno 19. března 2019. Archivováno z originálu dne 9. listopadu 2020.

Odkazy

• Barbary Liskov 's MIT   University Page
• "Turingova cena 2008 udělena Barbaře Liskov" , Compulenta  (přístup 11. března 2009)
• "Barbara Liskov vyhrála Turingovu cenu" Archivováno 17. března 2009 na Wayback Machine , Massachusetts Institute of Technology  (  přístup 11. března 2009)
• Erica Naoneová. Driven to Abstraction  (anglicky)  (downlink) . MIT Technology Review (21. prosince 2009). Získáno 20. listopadu 2013. Archivováno z originálu 24. září 2015.

Tematické stránky	Matematická genealogie Scopus zbMATH Otevřeno
Slovníky a encyklopedie	Britannica (online)
V bibliografických katalozích BIBSYS: 90186477 BNF : 12156314m CiNii : DA00137355 GND : 1069447846 ISNI : 0000 0001 1760 5450 J9U : 987007425202505171 LCCN : n81090977 LNB : 000060129 NTA : 069490112 NUKAT : n99041102 SUDOC : 030073928 VIAF : 44337197 WorldCat VIAF : 44337197