Barbara Liskov - Barbara Liskov

Liskov Barbara
Barbara Liskov MIT computer scientist 2010.jpg
Liskov 2010 -ben.
Született
Barbara Jane Huberman

(1939-11-07) 1939. november 7. (81 éves)
Los Angeles, California
alma Mater
Ismert
Házastárs (ok) Nathan Liskov (1970–)
Gyermekek 1
Díjak
Tudományos karrier
Mezők Számítástechnika
Intézmények Massachusetts Institute of Technology
Tézis A program a sakk végjátékokban  (1968)
Doktori tanácsadó John McCarthy
Doktoranduszok Maurice Herlihy , J. Eliot Moss , Sanjay Ghemawat

Barbara Liskov (született november 7, 1939, mint Barbara Jane Huberman ) egy amerikai számítógépes tudós , aki egy intézet professzora , a Massachusetts Institute of Technology és a Ford professzor Engineering annak School of Engineering „s villamosmérnöki és számítástechnikai osztály.

Ő az első nő, aki számítástechnikai doktorátust kapott az Egyesült Államokban, és Turing -díjas, aki kifejlesztette a Liskov -helyettesítés elvét .

korai élet és oktatás

Liskov 1939. november 7 -én született Los Angelesben , Kaliforniában , egy zsidó családban, Jane (szül. Dickhoff) és Moses Huberman négy gyermeke között. Ő szerzett neki BA matematika egy kisebb fizikusi University of California, Berkeley 1961-ben óráira volt egy másik nő osztálytársa, a többi férfi volt. A diploma megszerzése után jelentkezett a Berkeley és Princeton matematika szakokra . Abban az időben Princeton nem fogadott el női diákokat matematikából. Berkeley -ben elfogadták, de tanulmányai helyett Bostonba költözött, és a Mitre Corporationnél kezdett dolgozni . Ott kezdett érdeklődni a számítógépek és a programozás iránt. Egy évet dolgozott a Mitre -en, mielőtt programozói munkát végzett a Harvardon, ahol a nyelvfordításon dolgozott.

Ekkor úgy döntött, hogy visszamegy az iskolába, és ismét jelentkezett Berkeley -be, de Stanfordba és a Harvardra is. 1968 -ban ő volt az első nők egyike az Egyesült Államokban, aki doktori címet kapott. számítástechnikai tanszékről, amikor a Stanford Egyetemen szerezte diplomáját . A Stanfordban John McCarthy -val dolgozott, és támogatta a mesterséges intelligencia területén . Ph.D. témája. a dolgozat egy sakk végjátékokat játszó számítógépes program volt , amelyhez kifejlesztette a fontos gyilkos heurisztikát .

Karrier

A Stanford -i diploma megszerzése után Liskov visszatért Mitre -be, hogy kutató munkatársként dolgozzon.

Liskov számos jelentős projektet vezetett, köztük a Venus operációs rendszert, egy kicsi, olcsó időmegosztási rendszert; a CLU tervezése és megvalósítása ; Argus , az első magas szintű nyelv, amely támogatja az elosztott programok végrehajtását és bemutatja az ígéretcsatornázás technikáját ; és a Thor, egy objektum-orientált adatbázis- rendszer. A Jeannette Wing , ő kifejlesztett egy sajátos meghatározására altípus , közismert nevén a Liskov helyettesítési elvet . Ő vezeti az MIT programozási módszertani csoportját , amelynek jelenlegi kutatási témája a bizánci hibatűrés és az elosztott számítástechnika . 2009 -ben tagja volt az Infosys -díj első mérnöki és számítástechnikai zsűrijének .

Elismerés és díjak

Liskov a Nemzeti Mérnöki Akadémia , a Nemzeti Tudományos Akadémia és az Amerikai Művészeti és Tudományos Akadémia, valamint a Számítógépes Szövetség (ACM) tagja. 2002 -ben elismerték az MIT egyik legjobb női oktatójának, és az Egyesült Államok 50 legjobb tudós tagja között. A Discover magazin 2002 -ben elismerte Liskovot a tudomány 50 legfontosabb nője között.

2004 -ben Barbara Liskov elnyerte a John von Neumann -érmet "alapvető hozzájárulásként a programozási nyelvekhez, a programozási módszertanhoz és az elosztott rendszerekhez ". A 2005. november 19 Barbara Liskov és Donald E. Knuth kapott ETH tiszteletbeli doktori. Liskov és Knuth is szerepelt az ETH Zürich Distinguished Colloquium sorozatában. Ő kapta a doktori díszdoktora a University of Lugano 2011 és Universidad Politécnica de Madrid 2018-ban.

Liskov 2009 márciusában megkapta az ACM 2008-as Turing-díját a programozási nyelvek és a szoftver módszertan tervezésében végzett munkájáért, amelyek az objektumorientált programozás kifejlesztéséhez vezettek . Liskov két programozási nyelvet fejlesztett ki, a CLU -t az 1970 -es években és az Argus -t az 1980 -as években. Az ACM idézte közreműködését a "programozási nyelv és rendszertervezés gyakorlati és elméleti megalapozásában , különösen az adatok kivonásában , a hibatűrésben és az elosztott számítástechnikában ". 2012 -ben bekerült a Nemzeti Feltalálók Hírességek Csarnokába .

Barbara Liskov három könyv és több mint száz szakdolgozat szerzője.

Magánélet

1970 -ben feleségül vette Nathan Liskovot. Egy fiuk van, Moses, aki 2004 -ben doktori fokozatot szerzett informatikából az MIT -től, és a William and Mary College -ban informatikát tanított .

Lásd még

Hivatkozások

Külső linkek