Barbara Liskow

Barbara Liskov
Liskov w 2010 roku.
Urodzić się	Barbary Jan Huberman ( 07.11.1939 ) 7 listopada 1939 Los Angeles, Kalifornia, USA
Alma Mater	Uniwersytet Kalifornijski w Berkeley (licencjat) Uniwersytet Stanforda (doktorat)
Znany z	Wenus ( system operacyjny ) CLU Argus Thor ( obiektowa baza danych ) Zasada podstawienia Liskowa
Współmałżonek	Nathan Liskow (1970–)
Dzieci	1
Nagrody	Medal IEEE Johna von Neumanna (2004) Nagroda AM Turinga (2008) Nagroda pioniera komputerowego (2018)
Kariera naukowa
Pola	Informatyka
Instytucje	Instytut Technologii w Massachusetts
Praca dyplomowa	Program do gry w szachy (1968)
Doradca doktorski	Johna McCarthy'ego
Doktoranci	Maurice'a Herlihy'ego J. Eliota Mossa Sanjay Ghemawat

Barbara Liskov (ur. 7 listopada 1939 jako Barbara Jane Huberman ) to amerykańska informatyk , która wniosła pionierski wkład w języki programowania i przetwarzanie rozproszone . Jej godna uwagi praca obejmuje opracowanie zasady podstawienia Liskowa , która opisuje fundamentalną naturę abstrakcji danych i jest używana w teorii typów (patrz podtypowanie ) oraz w programowaniu obiektowym (patrz dziedziczenie ). Jej praca została doceniona Nagrodą Turinga 2008 , najwyższym wyróżnieniem w dziedzinie informatyki.

Liskov jest jedną z pierwszych kobiet, które uzyskały doktorat z informatyki w Stanach Zjednoczonych i drugą kobietą, która otrzymała nagrodę Turinga. Obecnie jest profesorem Instytutu i profesorem inżynierii Forda w Massachusetts Institute of Technology .

Wczesne życie i edukacja

Liskov urodził się 7 listopada 1939 r. W Los Angeles w Kalifornii w żydowskiej rodzinie, najstarszym z czworga dzieci Jane (z domu Dickhoff) i Mosesa Hubermana. Uzyskała tytuł licencjata z matematyki na wydziale fizyki na Uniwersytecie Kalifornijskim w Berkeley w 1961 roku. W Berkeley miała tylko jedną koleżankę z klasy na swoim kierunku. Ubiegała się o studia podyplomowe z matematyki w Berkeley i Princeton . W tym czasie Princeton nie przyjmował studentek matematyki. Została przyjęta do Berkeley, ale zamiast tego przeniosła się do Bostonu i rozpoczęła pracę w Mitre Corporation , gdzie zainteresowała się komputerami i programowaniem. Pracowała w Mitre przez rok, zanim podjęła pracę programisty na Harvardzie, gdzie zajmowała się tłumaczeniami językowymi.

Potem zdecydowała się wrócić do szkoły i ponownie złożyła podanie do Berkeley, ale także do Stanford i Harvardu. W marcu 1968 roku jako jedna z pierwszych kobiet w Stanach Zjednoczonych uzyskała stopień doktora. z wydziału informatyki, kiedy uzyskała dyplom na Uniwersytecie Stanforda . W Stanford pracowała z Johnem McCarthym i otrzymała wsparcie do pracy w sztucznej inteligencji . Temat jej doktoratu praca magisterska była programem komputerowym do rozgrywania partii szachowych , dla których opracowała ważną heurystykę zabójcy .

Kariera

Po ukończeniu Stanford Liskov wrócił do Mitry, aby pracować jako personel naukowy.

Liskov prowadził wiele znaczących projektów, w tym system operacyjny Venus, mały, tani system podziału czasu ; projektowanie i wdrażanie CLU ; Argus , pierwszy język wysokiego poziomu wspierający wdrażanie programów rozproszonych i demonstrujący technikę potokowania obietnic ; oraz Thor, obiektowy system baz danych. Wraz z Jeannette Wing opracowała szczególną definicję podtypów , powszechnie znaną jako zasada substytucji Liskowa . Kieruje Grupą Metodologii Programowania na MIT , obecnie koncentrując się na badaniach nad bizantyjską odpornością na błędy i przetwarzaniem rozproszonym . Była w inauguracyjnym jury Inżynierii i Informatyki dla nagrody Infosys w 2009 roku.

Uznanie i nagrody

Liskov jest członkiem National Academy of Engineering , National Academy of Sciences oraz American Academy of Arts and Sciences oraz Association for Computing Machinery (ACM). W 2002 roku została uznana za jedną z najlepszych kobiet wykładowców na MIT oraz wśród 50 najlepszych wykładowców nauk ścisłych w USA. W 2002 roku magazyn Discover uznał Liskov za jedną z 50 najważniejszych kobiet w nauce.

W 2004 roku Barbara Liskov zdobyła Medal Johna von Neumanna za „fundamentalny wkład w języki programowania, metodologię programowania i systemy rozproszone ”. W dniu 19 listopada 2005 r. Barbara Liskov i Donald E. Knuth otrzymali doktoraty honoris causa ETH . Liskov i Knuth pojawili się również w ETH Zurich Distinguished Colloquium Series. Otrzymała doktorat honoris causa Uniwersytetu w Lugano w 2011 roku i Universidad Politécnica de Madrid w 2018 roku.

nagrodę Turinga 2008 od ACM w marcu 2009 roku za pracę nad projektowaniem języków programowania i metodologii oprogramowania, która doprowadziła do rozwoju programowania obiektowego . W szczególności Liskov opracował dwa języki programowania, CLU w latach 70. i Argus w latach 80. ACM przytoczyła jej wkład w praktyczne i teoretyczne podstawy „języka programowania i projektowania systemów , zwłaszcza związanych z abstrakcją danych , odpornością na błędy i przetwarzaniem rozproszonym ”. W 2012 roku została wpisana do National Inventors Hall of Fame .

Wybrane prace

Liskov jest autorem pięciu książek (stan na luty 2023 r.) i ponad stu artykułów technicznych.

Książki

•   Liskow, Barbara; Atkinson, R.; Bloom, T.; Moss, E.; Schaffert, JC; Scheifler, R.; Snyder, A. (1981). CLU: podręcznik referencyjny . Springer Berlin Heidelberg. ISBN 978-3-540-10836-8 .
•   Alford, MW; Ansart, JP; Hommel, G.; Lamport, L.; Liskow, Barbara; Mullery, lekarz rodzinny; Schneidera, FB (1985). Systemy rozproszone: metody i narzędzia do specyfikacji . Kurs dla zaawansowanych . Springer Berlin Heidelberg. ISBN 978-3-540-15216-3 .
•   Liskow, Barbara; Guttag, John (1986). Abstrakcja i specyfikacja w rozwoju programu . MIT Press. ISBN 978-0-262-12112-5 .
•   Liskow, Barbara; Guttag, John (2000). Tworzenie programów w języku Java: abstrakcja, specyfikacja i projektowanie obiektowe . Edukacja Pearsona. ISBN 978-0-7686-8496-4 .

Wybrane artykuły

•   Liskow, Barbara; Zilles, Stephen (1974-03-28). „Programowanie z abstrakcyjnymi typami danych” . Uwagi ACM SIGPLAN . 9 (4): 50–59. doi : 10.1145/942572.807045 . ISSN 0362-1340 .
•    Liskow, Barbara; Snyder, Alan; Atkinson, Russell; Schaffert, Craig (1977-08-01). „Mechanizmy abstrakcji w CLU” . Komunikaty ACM . 20 (8): 564–576. doi : 10.1145/359763.359789 . ISSN 0001-0782 . S2CID 17343380 .
•    Ladyn, Rywka; Liskow, Barbara; Shrira, Luba; Ghemawat, Sanjay (1992-11-01). „Zapewnianie wysokiej dostępności przy użyciu leniwej replikacji” . Transakcje ACM w systemach komputerowych . 10 (4): 360–391. doi : 10.1145/138873.138877 . ISSN 0734-2071 . S2CID 2219840 .
•    Liskow, Barbara H.; Skrzydło, Jeannette M. (1994-11-01). „Behawioralne pojęcie podtypów” . Transakcje ACM dotyczące języków i systemów programowania . 16 (6): 1811–1841. doi : 10.1145/197320.197383 . ISSN 0164-0925 . S2CID 999172 .
•   Castro, Miguel; Liskow, Barbara (1999-02-22). „Praktyczna bizantyjska tolerancja na błędy” . Materiały z trzeciego sympozjum poświęconego projektowaniu i wdrażaniu systemów operacyjnych . OSDI '99. USA: Stowarzyszenie USENIX: 173–186. ISBN 978-1-880446-39-3 .
•    Myers, Andrew C.; Liskow, Barbara (2000-10-01). „Ochrona prywatności przy użyciu zdecentralizowanego modelu etykiety” . Transakcje ACM dotyczące inżynierii oprogramowania i metodologii . 9 (4): 410–442. doi : 10.1145/363516.363526 . ISSN 1049-331X . S2CID 9600486 .

Życie osobiste

W 1970 roku wyszła za mąż za Nathana Liskowa. Mają jednego syna, Mosesa, który w 2004 roku uzyskał doktorat z informatyki na MIT i wykłada informatykę w College of William and Mary .

Zobacz też

• Lista pionierów informatyki
• Kobiety w informatyce
• Kalendarium kobiet w nauce

Linki zewnętrzne

• Strona domowa prof. Liskowa
• Zespół Metodologii Programowania
• Komunikat prasowy Nagrody Turinga
• Wywiad w magazynie Quanta
• Tom Van Vleck , Barbara Liskov , zdobywca nagrody AM Turinga
• Wywiad National Public Radio „Science Friday” z Barbarą Liskov, pierwotnie wyemitowany 13 marca 2009 r.
• Celebrating Women of Distinction, Barbara Liskov, wywiad z nagrodą Turinga przeprowadzony przez Stephena Ibarakiego
• „Barbara Liskov: wywiad przeprowadzony przez Williama Aspraya, IEEE History Center, 6 sierpnia 1991” . GHN: IEEE Global History Network . Źródło 2013-11-29 .
• John V. Guttag , Barbara Liskov , The Electron and The Bit: EECS at MIT, 1902–2002 , Rozdział VII: „Pioneering Women in EECS”, s. 225–239, 2003, Wydział Elektrotechniki i Informatyki, MIT
• Barbara Liskov mianowana profesorem Instytutu , MIT News, 1 lipca 2008 r
• Wiadomości wydziałowe: Barbara Liskov mianowana profesorem Instytutu Zarchiwizowane 2016-11-05 w Wayback Machine , biuletyn EECS, jesień 2008
• Natasha Plotkin, Barbara Liskov mianowana profesorem Instytutu , Tech (MIT), 128,29, 9 lipca 2008
• Robert Weisman, główna nagroda w dziedzinie informatyki trafia do profesora MIT , The Boston Globe , 10 marca 2009 r.
• Erica Naone, Driven to Abstraction , MIT Technology Review , 21 grudnia 2009
• Barbara Liskov zarchiwizowana 12.07.2018 w Wayback Machine na wiki programistycznej Chess