Barbara Liskow - Barbara Liskov

Barbara Liskov
Barbara Liskov MIT informatyk 2010.jpg
Liskov w 2010 roku.
Urodzić się
Barbara Jane Huberman

( 1939-11-07 )7 listopada 1939 (81 lat)
Los Angeles, Kalifornia
Alma Mater
Znany z
Małżonkowie Nathan Liskov (1970-)
Dzieci 1
Nagrody
Kariera naukowa
Pola Informatyka
Instytucje Instytut Technologii w Massachusetts
Praca dyplomowa Program do gry w szachy  (1968)
Doradca doktorski John McCarthy
Doktoranci Maurice Herlihy , J. Eliot Moss , Sanjay Ghemawat

Barbara Liskov (urodzony 7 listopada 1939 jako Barbara Jane Huberman ) to amerykański informatyk , który jest Instytut profesor w Massachusetts Institute of Technology i Ford profesor inżynierii w jego School of Engineering „s elektrotechniki i informatyki wydziału.

Jest pierwszą kobietą, która uzyskała doktorat z informatyki w Stanach Zjednoczonych i jest laureatką nagrody Turinga, która opracowała zasadę substytucji Liskova .

Wczesne życie i edukacja

Liskov urodził się 7 listopada 1939 r. w Los Angeles w Kalifornii w żydowskiej rodzinie, najstarszej z czwórki dzieci Jane (z domu Dickhoff) i Mosesa Hubermana. Uzyskała tytuł licencjata z matematyki ze specjalizacją z fizyki na Uniwersytecie Kalifornijskim w Berkeley w 1961 roku. Na zajęciach miała jeszcze jedną koleżankę z klasy, reszta była mężczyzną. Po ukończeniu studiów złożyła podanie na studia magisterskie z matematyki w Berkeley i Princeton . W tym czasie Princeton nie przyjmował studentek matematyki. Została przyjęta do Berkeley, ale zamiast studiować przeniosła się do Bostonu i rozpoczęła pracę w Miter Corporation . Tam zainteresowała się komputerami i programowaniem. Pracowała w Mitre przez rok, zanim podjęła pracę programisty na Harvardzie, gdzie zajmowała się tłumaczeniem języków.

Następnie zdecydowała się wrócić do szkoły i ponownie złożyła podanie do Berkeley, ale także na Stanford i Harvard. W 1968 roku została jedną z pierwszych kobiet w Stanach Zjednoczonych, która uzyskała tytuł doktora. z wydziału informatyki, kiedy uzyskała stopień naukowy na Uniwersytecie Stanforda . W Stanford pracowała z Johnem McCarthy i była wspierana w pracy w sztucznej inteligencji . Temat jej pracy doktorskiej Praca dyplomowa była programem komputerowym do grania w szachy końcowe, dla którego opracowała ważną heurystykę zabójcy .

Kariera zawodowa

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

Liskov kierował wieloma znaczącymi projektami, w tym systemem operacyjnym Venus, małym, tanim systemem współdzielenia czasu ; projektowanie i wdrażanie CLU ; Argus , pierwszy język wysokiego poziomu wspierający implementację programów rozproszonych i demonstrujący technikę przesyłania obietnic ; oraz Thor, zorientowany obiektowo system baz danych . Wraz z Jeannette Wing opracowała szczególną definicję podtypowania , powszechnie znaną jako zasada substytucji Liskova . Kieruje Grupą Metodologii Programowania w MIT , której bieżące badania koncentrują się na bizantyjskiej tolerancji błędów i przetwarzaniu rozproszonym . Zasiadała w inauguracyjnym jury Inżynierii i Informatyki o nagrodę Infosys w 2009 roku.

Uznanie i nagrody

Liskov jest członkiem National Academy of Engineering , National Academy of Sciences oraz członkiem American Academy of Arts and Sciences oraz Association for Computing Machinery (ACM). W 2002 roku została uznana za jedną z najlepszych kobiet na wydziale MIT i 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 „podstawowy wkład w języki programowania, metodologię programowania i systemy rozproszone ”. 19 listopada 2005 roku Barbara Liskov i Donald E. Knuth otrzymali doktoraty honoris causa ETH . Liskov i Knuth pojawili się również w ETH Zurich Distinguished Colloquium Series. Ona otrzymała doktorat honoris causa przez Uniwersytet w Lugano w 2011 roku i przez Politechniki w Madrycie w 2018 roku.

Liskov otrzymała nagrodę Turinga 2008 od ACM w marcu 2009 roku za pracę nad projektowaniem języków programowania i metodologią 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 , szczególnie w odniesieniu do abstrakcji danych , odporności na błędy i przetwarzania rozproszonego ”. W 2012 roku została wprowadzona do Galerii Sław Narodowych Wynalazców .

Barbara Liskov jest autorką trzech książek i ponad stu artykułów technicznych.

Życie osobiste

W 1970 roku poślubiła Nathana Liskova. Mają jednego syna, Mosesa, który w 2004 roku uzyskał tytuł doktora informatyki na MIT i wykładał informatykę w College of William and Mary .

Zobacz też

Bibliografia

Zewnętrzne linki