Barbara Liskov

Barbara Liskov
Barbara Liskov (2010)
Sündinud 7. november 1939
Los Angeles, California, USA
Rahvus ameeriklane
Haridus

California ülikool Berkeleys

Stanfordi ülikool
Abikaasa Nathan Liskov (1970‒)
Teadlaskarjäär
Tegevusalad arvutiteadlane
Töökohad Massachusettsi Tehnoloogiainstituut
Tuntumad tööd

operatsioonisüsteem Venus programmeerimiskeeled CLU ja Argus

Liskovi asendusprintsiip
Doktoritöö "A Program to Play Chess End Games" (1968)
Doktoritöö juhendaja John McCarthy
Tunnustus

IEEE John von Neumanni medal (2004), A. M. Turingi auhind (2008),

IEEE arvutipioneeriauhind (2018)

Barbara Liskov (sünninimega Barbara Jane Huberman; sündinud 7. novembril 1939 Los Angeleses California osariigis) on Ameerika Ühendriikide arvutiteadlane.[1][2]

Liskov on Massachusettsi Tehnoloogiainstituudi (MIT) kõrgeima tiitliga inseneriteaduse professor[1][2] ning üks esimesi naisi USA-s, kes on saanud doktorikraadi arvutiteaduses.[2] Ta on Turingi auhinna laureaat,[2] kes defineeris Liskovi asendusprintsiibi.[3]

Lapsepõlv ja haridus

Barbara Liskov on Jane Huberman Siegeli ja Moses Hubermani vanim laps.[4] Tal olid õed Alice Huberman ja Mary Huberman ning vend Robert Huberman.[4] Ema Jane oli koduperenaine ja kõrgetasemeline tantsija ning isa Moses oli väljapaistev maksujurist.[1][4]

Liskov oli 1950. aastatel keskkoolis käies hea matemaatikas ja loodusteadustes, mis oli toona tüdruku kohta ebatüüpiline.[1] Liskov ise on öelnud, et ta hoidis madalat profiili – ta õppis kõiki matemaatika ja loodusteaduste aineid, mida kool pakkus, aga lihtsalt ei rääkinud nendest oma naissoost sõpradega.[1] 1961. aastal omandas ta California ülikoolis Berkeleys bakalaureusekraadi matemaatikas.[2] Liskov meenutab, et sadakonna kursuslase seas oli ta üks kahest naisest.[5] Pärast lõpetamist töötas ta aasta aega Mitre korporatsioonis, kus avastas huvi programmeerimise vastu.[2] Seejärel kolis Liskov Harvardi, et töötada masintõlke ja inimkeeltega.[2] 1968. aastal kaitses ta Stanfordi ülikoolis tehisintellektiga seotud doktoritöö "A Program to Play Chess End Games" ("Programm, mis mängib male lõppmänge").[2][6]

Karjäär ja saavutused

Pärast doktorikraadi omandamist kandideeris Barbara Liskov tööle Massachusettsi Tehnoloogiainstituuti (MIT), kuid tema avaldust isegi ei kaalutud, kuna ta oli naine.[5] Siiski õnnestus Liskovil 1968. aastal saada erialane töökoht Mitre korporatsioonis Bedfordis, kus ta töötas teadlasena neli aastat.[1] Üks tema Mitres kirjutatud teadusartiklitest pälvis ka auhinna.[5] 1971. aastal pidas ta avaliku teadusloengu.[5] Seejärel kutsuti Liskovit kandideerima nii MIT-sse kui ka California ülikooli Berkeleys ning ta asus tööle MIT-s.[5]

1972. aastal avaldas Barbara Liskov artikli eksperimentaalse operatsioonisüsteemi Venus disaini kohta.[7] Venus oli varane näide reglementeeritud disainiga operatsioonisüsteemist.[8] Lisaks arendas ta aastatel 1974–1975 koos oma õpilastega programmeerimiskeele CLU[9], mis oli üks varasemaid ja arendatumaid programmeerimiskeeli, mille aluseks olid abstraktsed andmetüübid ja neist tuletatud moodulid[8], ja 1980. aastatel koostöös teiste MIT töötajatega programmeerimiskeele Argus.[10] Hiljem laiendas Argus paljusid CLU ideid jaotatud programmeerimisele ning see sisaldas esimesi versioone pesastatud operatsioonidest, mille eesmärk oli säilitada ennustatavaid omadusi.[8] CLU ja Argus on aluseks paljudele keeltele, nt Java ja C#, mida kasutatakse tihti personaalarvutite ja internetirakenduste programmeerimisel. Liskov arendas välja andmete abstraheerimise, mis on objektorienteeritud programmeerimise aluseks.[1]

Tänu Liskovi tööle programmeerimiskeelte disainimisel on tänapäevane tarkvara töökindlam ning vastupidavam eksimustele ja häkkimisele. Liskov ise on öelnud, et tänapäeval kasutatavad programmeerimiskeeled põhinevad suures osas CLU keelel, kuigi programmeerijad ise ei pruugi seda teada. Lisaks arvab ta, et tema tehtud töö lihtsalt ootas tegemist ning ta juhtus olema õigel ajal õiges kohas.[1]

1987. aastal tutvustas ta Liskovi asendusprintsiibi ideed.[3] 1994. aastal kirjutas ta koos Jeannette Wingiga artikli "A behavioral notion of subtyping" ("Alamtüüpimise käitumuslik mõiste"), kus nad defineerisid Liskovi asendusprintsiibi formaalselt.[11] Nimetatud printsiip ütleb järgmist:

Olgu Φ(x) omadus, mis on T tüüpi objektide x jaoks tõestatav.

Siis Φ(y) peaks kehtima S tüüpi objektide y jaoks, kus S on T alamtüüp.[3]

Liskovi asendusprintsiip on üks Robert C. Martini viiest tuntud SOLID-disainipõhimõttest.[3]

2002. aastal tõsteti Barbara Liskovit esile ajakirja Discover novembriväljaandes ilmunud artiklis "The 50 Most Important Women in Science" ("50 kõige olulisemat naist teadusvaldkonnas"), kusjuures ta oli selles nimekirjas ainuke arvutiteadlane.[12]

2004. aastal sai Liskov IBM Corporationi spondeeritud IEEE (Elektri- ja Elektroonikainseneride Instituut) John von Neumanni medali.[13] Seda medalit antakse aastast 1990 välja silmapaistvate tulemuste eest arvutitega seotud teaduses ja tehnoloogias.[13]

2005. aasta 19. novembril, ETH (sks Eidgenössische Technische Hochschule, Konföderatsiooni Tehnikakõrgkool) päeval, said Barbara Liskov ja Stanfordi ülikooli emeriitprofessor Donald E. Knuthi ETH Zürichi audoktoriks.[14] Nad pidasid ETH 150. aastapäeva puhul kutsutud esinejatena kõne.[15]

2008. aastal pälvis Barbara Liskov A. M. Turingi auhinna[8], mis on arvutiteaduse kõige prestiižsem auhind,[16] seda on nimetatud arvutiteaduse Nobeli auhinnaks.[1] Selle auhinna andis talle ACM (ingl Association for Computing Machinery, Masinarvutuse Ühendus) murranguliste uuringute eest programmeerimise valdkonnas. Ta on andnud suure panuse programmeerimiskeelte ja süsteemidisaini nii praktilistesse kui ka teoreetilistesse alustesse, eriti seoses andmete abstraheerimise, veataluvuse ja jaotatud programmeerimisega.[8] Liskov on teine naine, kes on saanud Turingi auhinna.[1]

2018. aastal autasustati Barbara Liskovit tema elutöö eest IEEE arvutiseltsi arvutipioneeriauhinnaga.[5]

Viited

  1. 1 2 3 4 5 6 7 8 9 10 Liz Karagianis (2009). "Top Prize". Spectrum. Vaadatud 31.01.2021.
  2. 1 2 3 4 5 6 7 8 Tom van Vleck (2008). "Barbara Liskov". ACM A.M. Turing Award. Vaadatud 31.01.2021.
  3. 1 2 3 4 Thorben Janssen (11.04.2018). "SOLID Design Principles Explained: The Liskov Substitution Principle with Code Examples". Stackify. Vaadatud 31.01.2021.
  4. 1 2 3 "Jane Siegel". Legacy. (24.01.2010). Vaadatud 31.01.2021. {{netiviide}}: kontrolli kuupäeva väärtust: |aeg= (juhend)
  5. 1 2 3 4 5 6 Susan D'Agostino (20.11.2019). "The Architect of Modern Algorithms". Quanta Magazine. Vaadatud 31.01.2021.
  6. ↑ Barbara J. Huberman (19.08.1968). "A Program to Play Chess End Games" (PDF). Vaadatud 31.01.2021.
  7. ↑ Barbara H. Liskov (1972). "The design of the Venus operating system". Communications of the ACM. Vaadatud 31.01.2021.
  8. 1 2 3 4 5 "ACM Names Barbara Liskov Recipient of the 2008 ACM A.M. Turing Award". (2008). Originaali arhiivikoopia seisuga 16.07.2012. Vaadatud 31.01.2021. {{netiviide}}: kontrolli kuupäeva väärtust: |aeg= (juhend)CS1 hooldus: robot: algse URL-i olek teadmata (link)
  9. ↑ "CLU". Codelani. (09.08.2020). Originaali arhiivikoopia seisuga 23.01.2021. Vaadatud 31.01.2021. {{netiviide}}: kontrolli kuupäeva väärtust: |aeg= (juhend)
  10. ↑ "Argus (programming language)". Vaadatud 31.01.2021.
  11. ↑ Barbara H. Liskov, Jeannette M. Wing (1994). "A behavioral notion of subtyping". ACM Transactions on Programming Languages and Systems. Vaadatud 31.01.2021.
  12. ↑ Kathy A Svitil (01.11.2002). "The 50 Most Important Women in Science". Discover Magazine. Vaadatud 31.01.2021.
  13. 1 2 "IEEE-LEVEL AWARDS" (PDF). Vaadatud 31.01.2021.
  14. ↑ "Honorary Doctors". Originaali arhiivikoopia seisuga 11. mai 2013. Vaadatud 31.01.2021.
  15. ↑ "Distinguished Lecturers Barbara Liskov and Donald E. Knuth". Originaali arhiivikoopia seisuga 3. juuni 2013. Vaadatud 31.01.2021.
  16. ↑ Robert Weisman (10.03.2009). "Top prize in computing goes to MIT professor". The Boston Globe. Vaadatud 31.01.2021.
allikas: https://et.wikipedia.org/wiki/Barbara_Liskov