Liskov, Barbara

Barbara Liskov ( eng.  Barbara Liskov , født Barbara Jane Huberman  - Barbara Jane Huberman ; f. 7. november 1939 ) - Amerikansk computerforsker , problemforsker i dataabstraktion , leder af Clu -programmeringssprogsudviklingsgruppen , vinder af Turing-prisen 2008 .

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

Biografi

Hun blev født i Californien, hvor hendes bedsteforældre slog sig ned - emigranter fra det russiske imperium Lev Guberman og Rosa Margolis. Hun modtog en bachelorgrad i matematik fra University of California i Berkeley i 1961 , hvorefter hun fortsatte sine studier på Stanford , hvor hun i 1968 som den første kvinde i USA fik en doktorgrad i datalogi med en afhandling om bl.a. programimplementering af spillet i et skakslutspil ( Et program til at spille skakspil ).

Siden 1972 har han arbejdet og undervist på Massachusetts Institute of Technology .

Hun ledede udviklingen af ​​programmeringssprog som Clu og Argus i 1970'erne og 1980'erne, samt det objektorienterede databasestyringssystem Thor. Sammen med Jennette Wing udviklede hun i 1987 substitutionsprincippet ,  begrebet subtyping. Han leder programmeringsmetodegruppen ved Massachusetts Institute of Technology, der i øjeblikket fokuserer på BFT-fejltolerance og distribueret databehandling.

Fellow fra American Academy of Sciences and Arts og Association for Computing Machinery .

Liskov har altid opmuntret kvindelige studerende, støttet dem og er meget opmærksomme på at gøre datalogi til et venligere område, især for kvinder. Ved at rekruttere flere kvinder og yngre fakulteter hjælper Liskov dem med at opbygge deres karriere og komme videre. I dag er MIT meget anderledes end det sted, hvor hun begyndte sin karriere i begyndelsen af ​​1970'erne. Dengang arbejdede kun en lille gruppe kvindelige medarbejdere på fakultetet [3] .

Mand - Nathan Liskov ( Nathan Arthur Liskov , gift i 1970) og sønnen Moses Liskov ( Moses Liskov , 1975) - også videnskabsmænd inden for datalogi.

Priser

• 2004  - John von Neumann-medaljen
• 2005  - Æresdoktorgrad fra ETH Zürich [4]
• 2008  - Turing Award " for bidrag til det praktiske og teoretiske grundlag for programmeringssprog og systemdesign, især inden for fejltoleranceforskning, dataabstraktion og distribueret computing. » [5] [6]
• 2013 - Harold Pender Award
• 2018 — Pioner inden for computerteknologi

Bibliografi

• CLU Reference Manual, 1984
• Abstraktion og specifikation i programudvikling, 1986
• Programudvikling i Java: Abstraktion, specifikation og objektorienteret design, 2001

Noter

1. ↑ Dr. Barbara H. Liskov Arkiveret 2. maj 2019 på Wayback Machine  
2. ↑ Liskov, Barbara på US National Academy of Sciences  hjemmeside
3. ↑ Drevet til abstraktion .
4. ↑ ETH - Datalogi - Æresdoktorer  (eng.)  (utilgængeligt link) . Dato for adgang: 29. oktober 2012. Arkiveret fra originalen 8. januar 2013.
5. ↑ ACM Award Citation / Barbara Liskov  (link ikke tilgængeligt)
6. ↑ John Timmer. ACM giver Turing-prisen til OOP , pioner inden for distribueret databehandling  . Ars Technica (10. marts 2009). Hentet 19. marts 2019. Arkiveret fra originalen 9. november 2020.

Links

• Barbara Liskovs MIT   Universitetsside
• "Turing Award 2008 tildelt Barbara Liskov" , Compulenta  (Avanceret 11. marts 2009)
• "Barbara Liskov vinder Turing Award" Arkiveret 17. marts 2009 på Wayback Machine , Massachusetts Institute of Technology  (  Adgang 11. marts 2009)
• Erica Naone. Drevet til abstraktion  (engelsk)  (downlink) . MIT Technology Review (21. december 2009). Hentet 20. november 2013. Arkiveret fra originalen 24. september 2015.

Tematiske steder	Matematisk genealogi Scopus zbMATH Åbn
Ordbøger og encyklopædier	Britannica (online)
I bibliografiske kataloger 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