Барбара Лисков

Барбара Лисков
Барбара Лисков
	Лисков в 2010 году
Рожденный	Барбара Джейн Хуберман ; 7 ноября 1939 г. (84 года) ; Лос-Анджелес, Калифорния, США
Альма-матер	Калифорнийский университет, Беркли (бакалавр) ; Стэнфордский университет (доктор философии) ;
Известный	Венера ( операционная система ) ; КЛУ ; Аргус ; Тор ( объектно-ориентированная база данных ) ; Принцип замены Лискова ;
Супруг	Натан Лисков (1970–)
Дети	1
Награды	Медаль IEEE Джона фон Неймана (2004 г.) ; Премия AM Тьюринга (2008) ; Премия компьютерного пионера (2018) ;
	Научная карьера
Поля	Информатика
Учреждения	Массачусетский технологический институт
Диссертация	Программа для игры в шахматы (1968)
Докторантура	Джон Маккарти
Докторанты	Морис Херлихи ; Дж. Элиот Мосс ; Санджай Гемават ; Эндрю Майерс ;

Барбара Лисков (родилась 7 ноября 1939 года, как Барбара Джейн Хуберман ) — американский ученый-компьютерщик , внесший новаторский вклад в языки программирования и распределенные вычисления . Ее заметная работа включает введение абстрактных типов данных и сопутствующего принципа абстракции данных , а также принципа подстановки Лискова , который применяет эти идеи к объектно-ориентированному программированию , подтипированию и наследованию . Ее работа была отмечена Премией Тьюринга 2008 года — высшей наградой в области информатики.

Лисков — одна из первых женщин, получивших степень доктора компьютерных наук в США, и вторая женщина, получившая премию Тьюринга. В настоящее время она является профессором института и профессором инженерных наук Форда в Массачусетском технологическом институте . ^{[ 2 ]}^{[ 3 ]}

Ранняя жизнь и образование

Лисков родился 7 ноября 1939 года в Лос-Анджелесе, Калифорния. ^{[ 4 ]} старший из четырех детей Джейн (урожденной Дикхофф) и Мозеса Хуберманов. ^{[ 5 ]} Она получила степень бакалавра математики со специализацией по физике в Калифорнийском университете в Беркли в 1961 году. В Беркли у нее была только одна одноклассница по ее специальности. ^{[ 6 ]} Она подала документы в аспирантуру по математическим программам в Беркли и Принстоне . В то время Принстон не принимал студенток по математике. ^{[ 7 ]} Ее приняли в Беркли, но вместо этого она переехала в Бостон и начала работать в Mitre Corporation , где заинтересовалась компьютерами и программированием. Она проработала в Mitre один год, а затем устроилась на работу программистом в Гарварде, занимаясь языковым переводом. ^{[ 7 ]}

Затем она решила вернуться в школу и снова подала документы в Беркли, а также в Стэнфорд и Гарвард. В марте 1968 года она стала одной из первых женщин в США, получивших степень доктора философии. с факультета информатики, когда ей присвоили степень в Стэнфордском университете . ^{[ 8 ]}^{[ 9 ]}^{[ 10 ]} В Стэнфорде она работала с Джоном Маккарти , и ей помогли работать в области искусственного интеллекта . ^{[ 7 ]} Тема ее докторской диссертации. диссертация представляла собой компьютерную программу для игры в шахматные эндшпили, для которой она разработала важную эвристику убийцы . ^{[ 11 ]}

Карьера

После окончания Стэнфорда Лисков вернулся в Митру, чтобы работать научным сотрудником. ^{[ 2 ]}

Лисков руководил многими важными проектами, включая операционную систему Venus, небольшую и недорогую систему разделения времени ; проектирование и внедрение CLU ; Argus , первый язык высокого уровня, поддерживающий реализацию распределенных программ и демонстрирующий технику конвейерной обработки обещаний ; и Thor, объектно-ориентированная система баз данных. Вместе с Жаннетт Винг она разработала особое определение подтипирования , широко известное как принцип замены Лискова . Она возглавляет группу методологии программирования в Массачусетском технологическом институте , в настоящее время занимаясь исследованиями византийской отказоустойчивости и распределенных вычислений . ^{[ 3 ]} в области инженерии и информатики Она входила в первое жюри премии Infosys в 2009 году. ^{[ 12 ]}

Признание и награды

Лисков является членом Национальной инженерной академии , Национальной академии наук , а также членом Американской академии искусств и наук и Ассоциации вычислительной техники (ACM). В 2002 году она была признана одной из лучших женщин-преподавателей Массачусетского технологического института и одной из 50 лучших преподавателей естественных наук в США. ^{[ 13 ]} В 2002 году журнал Discover включил Лискову в число 50 самых важных женщин в науке. ^{[ 14 ]}

В 2004 году Барбара Лисков получила медаль Джона фон Неймана за «фундаментальный вклад в языки программирования, методологию программирования и распределенные системы ». ^{[ 15 ]} 19 ноября 2005 г. Барбара Лисков и Дональд Э. Кнут были удостоены звания ETH . почетного доктора ^{[ 16 ]} Лисков и Кнут также приняли участие в серии выдающихся коллоквиумов ETH Zurich. ^{[ 17 ]} Она была удостоена звания почетного доктора Университета Лугано в ^{[ 18 ]} и Политехническим университетом Мадрида в 2018 году. ^{[ 19 ]}

Лисков получил премию Тьюринга 2008 года от ACM в марте 2009 года. ^{[ 20 ]} за ее работу в области разработки языков программирования и методологии разработки программного обеспечения, которая привела к развитию объектно-ориентированного программирования . ^{[ 21 ]} В частности, Лисков разработал два языка программирования: CLU. ^{[ 22 ]} в 1970-е годы и Аргус ^{[ 23 ]} в 1980-е годы. ^{[ 21 ]} ACM отметил ее вклад в практические и теоретические основы «языка программирования и проектирования систем , особенно связанных с абстракцией данных , отказоустойчивостью и распределенными вычислениями ». ^{[ 24 ]} В 2012 году она была занесена в Национальный зал славы изобретателей . ^{[ 25 ]}

В 2023 году Лисков был награжден медалью Бенджамина Франклина от Института Франклина за «выдающийся вклад в языки и методологию компьютерного программирования, позволяющий реализовывать надежные программы многократного использования». ^{[ 26 ]}

Избранные работы

Лисков — автор пяти книг по состоянию на февраль 2023 года и более ста технических статей.

Книги

Лисков, Варвара; Аткинсон, Р.; Блум, Т.; Мосс, Э.; Шафферт, Дж. К.; Шайфлер, Р.; Снайдер, А. (1981). CLU: Справочное руководство . Шпрингер Берлин Гейдельберг. ISBN 978-3-540-10836-8 .
Алфорд, штат Вашингтон; Ансарт, Япония; Хоммель, Г.; Лэмпорт, Л.; Лисков, Варвара; Маллери, врач общей практики; Шнайдер, ФБ (1985). Распределенные системы: методы и инструменты спецификации. Продвинутый курс . Шпрингер Берлин Гейдельберг. ISBN 978-3-540-15216-3 .
Лисков, Варвара; Гуттаг, Джон (1986). Абстракция и спецификация в разработке программ . МТИ Пресс. ISBN 978-0-262-12112-5 .
Лисков, Варвара; Гуттаг, Джон (2000). Разработка программ на Java: абстракция, спецификация и объектно-ориентированное проектирование . Пирсон Образование. ISBN 978-0-7686-8496-4 .

Избранные статьи

Лисков, Варвара; Зиллес, Стивен (28 марта 1974 г.). «Программирование с абстрактными типами данных» . Уведомления ACM SIGPLAN . 9 (4): 50–59. дои : 10.1145/942572.807045 . ISSN 0362-1340 .
Лисков, Варвара; Снайдер, Алан; Аткинсон, Рассел; Шафферт, Крейг (1 августа 1977 г.). «Механизмы абстракции в CLU» . Коммуникации АКМ . 20 (8): 564–576. дои : 10.1145/359763.359789 . ISSN 0001-0782 . S2CID 17343380 .
Ладин, Ривка; Лисков, Варвара; Шрира, Люба; Гемават, Санджай (1 ноября 1992 г.). «Обеспечение высокой доступности с помощью ленивой репликации» . Транзакции ACM в компьютерных системах . 10 (4): 360–391. дои : 10.1145/138873.138877 . ISSN 0734-2071 . S2CID 2219840 .
Лисков, Барбара Х.; Винг, Жаннетт М. (1 ноября 1994 г.). «Поведенческое понятие подтипирования» . Транзакции ACM в языках и системах программирования . 16 (6): 1811–1841. дои : 10.1145/197320.197383 . ISSN 0164-0925 . S2CID 999172 .
Кастро, Мигель; Лисков, Барбара (22 февраля 1999 г.). «Практическая византийская отказоустойчивость» . Материалы третьего симпозиума по проектированию и внедрению операционных систем . ОСДИ '99. США: Ассоциация USENIX: 173–186. ISBN 978-1-880446-39-3 .
Майерс, Эндрю С.; Лисков, Барбара (01 октября 2000 г.). «Защита конфиденциальности с помощью модели децентрализованной метки» . Транзакции ACM по программной инженерии и методологии . 9 (4): 410–442. дои : 10.1145/363516.363526 . ISSN 1049-331X . S2CID 9600486 .

Личная жизнь

В 1970 году она вышла замуж за Натана Лискова. ^{[ 7 ]} У них есть сын, Мозес, который получил докторскую степень по информатике в Массачусетском технологическом институте в 2004 году и преподает информатику в Колледже Уильяма и Мэри . ^{[ 2 ]}

См. также

Ссылки

^ Барбара Лисков в проекте «Математическая генеалогия»
^ Jump up to: ^а ^б ^с «Варвара Лисков» . Премия А. М. Тьюринга . Ассоциация вычислительной техники . Проверено 28 августа 2021 г.
^ Jump up to: ^а ^б Барбара Лисков , группа методологии программирования, Массачусетский технологический институт.
^ Карагианис, Лиз (осень 2009 г.). «Высший приз» . МТИ Спектр . Проверено 10 июля 2016 г.
^ «Джейн Сигел: Некролог» . San Francisco Chronicle (через Legacy.com) . 24 января 2010 года . Проверено 18 ноября 2014 г.
^ Д'Агостино, Сьюзен (20 ноября 2019 г.). «Архитектор современных алгоритмов» . Журнал Кванта . Проверено 21 октября 2020 г.
^ Jump up to: ^а ^б ^с ^д Гуттаг, Джон (1 января 2005 г.). Электрон и бит: электротехника и информатика в Массачусетском технологическом институте, 1902–2002 гг . Кембридж, Массачусетс: Массачусетский технологический институт, факультет электротехники и информатики, OCLC 61332947 .
^ «Варвара Лисков» . Девушка-инженер . Проверено 6 сентября 2007 г. Профиль Национальной инженерной академии.
^ «Награждение докторов наук в области компьютерных наук Университета Висконсина в Мэдисоне, май 1965 г. - август 1970 г.» . Проверено 8 ноября 2010 г. Докторская степень присвоена на факультете компьютерных наук Университета Вашингтона в Мэдисоне.
^ «Барбара Лисков | Биография, премия А. М. Тьюринга и факты» . Британская энциклопедия . Проверено 25 сентября 2021 г.
^ Губерман (Лисков), Барбара Джейн (1968). Программа для игры в шахматные эндшпили (PDF) (Отчет). Технический отчет CS 106, Стэнфордский проект искусственного интеллекта, меморандум AI-65. Факультет компьютерных наук Стэнфордского университета. Архивировано из оригинала (PDF) 11 февраля 2017 г.
^ «Приз Infosys – жюри 2009» . Научный фонд Infosys . Проверено 1 марта 2021 г.
^ «Великолепная семерка MIT: женщины-преподаватели признаны лучшими учёными» . Пресс-служба Массачусетского технологического института . Кембридж, Массачусетс. 5 ноября 2002 г. Проверено 29 октября 2012 г.
^ Свитил, Кэти (13 ноября 2002 г.). «50 самых важных женщин в науке» . Обнаружить . Проверено 1 мая 2019 г.
^ Получатели медали Джона фон Неймана IEEE с сайта IEEE.
^ «Почетные врачи» . Цюрих: ETH Computer Science. 22 марта 2006 г. Архивировано из оригинала 8 января 2013 г. . Проверено 29 октября 2012 г. Барбара Лисков и Дональд Э. Кнут были удостоены звания почетного доктора ETH 19 ноября 2005 года.
^ «Выдающиеся лекторы Барбара Лисков и Дональд Э. Кнут» . Цюрих: ETH Computer Science. Январь 2006 г. Архивировано из оригинала 8 января 2013 г. Проверено 29 октября 2012 г.
^ «Почетный доктор USI» . УЗИ . Проверено 16 мая 2021 г.
^ elEconomista.es. «Барбара Лисков, новая почетная докторская степень UPM — elEconomista.es» (на испанском языке) . Проверено 11 июня 2018 г.
^ Вейсман, Роберт (10 марта 2009 г.). «Главный приз в области вычислительной техники достаётся профессору Массачусетского технологического института» . Бостон Глобус .
^ Jump up to: ^а ^б Барбара Лисков получила премию Тьюринга | 10 марта 2009 г., с журнала доктора Добба. сайта
^ Лисков, Б. ; Снайдер, А.; Аткинсон, Р.; Шафферт, К. (август 1977 г.). «Механизмы абстракции в CLU». Коммуникации АКМ . 20 (8): 564–576. CiteSeerX 10.1.1.112.656 . дои : 10.1145/359763.359789 . S2CID 17343380 .
^ Лисков, Б. (март 1988 г.). «Распределенное программирование в Argus» . Комм. АКМ . 31 (3): 300–312. дои : 10.1145/42392.42399 . S2CID 16233001 .
^ «ACM называет Барбару Лисков лауреатом премии ACM AM Тьюринга 2008 года» . Ассоциация вычислительной техники. Архивировано из оригинала 16 июля 2012 г. Проверено 10 марта 2009 г.
^ «В центре внимания | Национальный зал славы изобретателей» . Invent.org. 21 ноября 2013 г. Архивировано из оригинала 14 августа 2016 г. Проверено 31 мая 2016 г.
^ «Барбара Х. Лисков, доктор философии». Проверено 25 марта 2024 г.

Внешние ссылки

Домашняя страница профессора Лискова
Группа методологии программирования
Пресс-релиз премии Тьюринга
Интервью в журнале Quanta
Том Ван Флек , Барбара Лисков , лауреат премии А. М. Тьюринга
Интервью Национального общественного радио "Science Friday" с Барбарой Лисков, первоначально вышедшее в эфир 13 марта 2009 г.
Чествуя выдающихся женщин, Барбара Лисков, интервью на премию Тьюринга Стивена Ибараки
«Барбара Лисков: интервью, проведенное Уильямом Эспреем, Исторический центр IEEE, 6 августа 1991 г.» . GHN: Сеть глобальной истории IEEE . Проверено 29 ноября 2013 г.
Джон В. Гуттаг , Барбара Лисков , Электрон и бит: EECS в Массачусетском технологическом институте, 1902–2002 , Глава VII: «Женщины-новаторы в EECS», стр. 225–239, 2003, факультет электротехники и информатики, Массачусетский технологический институт
Барбара Лисков назначена профессором института , MIT News, 1 июля 2008 г.
Новости факультета: Барбара Лисков назначена профессором института. Архивировано 5 ноября 2016 г. в Wayback Machine , информационный бюллетень EECS, осень 2008 г.
Наташа Плоткина, Барбара Лисков назначена профессором института The Tech (MIT), 128,29, 9 июля 2008 г.
Роберт Вейсман, Главный приз в области вычислений достается профессору Массачусетского технологического института , The Boston Globe , 10 марта 2009 г.
Эрика Наоне, Доведенная до абстракции , MIT Technology Review , 21 декабря 2009 г.
Барбара Лисков. Архивировано 12 июля 2018 г. на Wayback Machine на вики по программированию Chess.

[1] Барбара Лисков в проекте «Математическая генеалогия»

[turing-2] Jump up to: ^а ^б ^с «Варвара Лисков» . Премия А. М. Тьюринга . Ассоциация вычислительной техники . Проверено 28 августа 2021 г.

[PMG-3] Jump up to: ^а ^б Барбара Лисков , группа методологии программирования, Массачусетский технологический институт.

[4] Карагианис, Лиз (осень 2009 г.). «Высший приз» . МТИ Спектр . Проверено 10 июля 2016 г.

[5] «Джейн Сигел: Некролог» . San Francisco Chronicle (через Legacy.com) . 24 января 2010 года . Проверено 18 ноября 2014 г.

[6] Д'Агостино, Сьюзен (20 ноября 2019 г.). «Архитектор современных алгоритмов» . Журнал Кванта . Проверено 21 октября 2020 г.

[:0-7] Jump up to: ^а ^б ^с ^д Гуттаг, Джон (1 января 2005 г.). Электрон и бит: электротехника и информатика в Массачусетском технологическом институте, 1902–2002 гг . Кембридж, Массачусетс: Массачусетский технологический институт, факультет электротехники и информатики, OCLC 61332947 .

[8] «Варвара Лисков» . Девушка-инженер . Проверено 6 сентября 2007 г. Профиль Национальной инженерной академии.

[9] «Награждение докторов наук в области компьютерных наук Университета Висконсина в Мэдисоне, май 1965 г. - август 1970 г.» . Проверено 8 ноября 2010 г. Докторская степень присвоена на факультете компьютерных наук Университета Вашингтона в Мэдисоне.

[10] «Барбара Лисков | Биография, премия А. М. Тьюринга и факты» . Британская энциклопедия . Проверено 25 сентября 2021 г.

[11] Губерман (Лисков), Барбара Джейн (1968). Программа для игры в шахматные эндшпили (PDF) (Отчет). Технический отчет CS 106, Стэнфордский проект искусственного интеллекта, меморандум AI-65. Факультет компьютерных наук Стэнфордского университета. Архивировано из оригинала (PDF) 11 февраля 2017 г.

[12] «Приз Infosys – жюри 2009» . Научный фонд Infosys . Проверено 1 марта 2021 г.

[13] «Великолепная семерка MIT: женщины-преподаватели признаны лучшими учёными» . Пресс-служба Массачусетского технологического института . Кембридж, Массачусетс. 5 ноября 2002 г. Проверено 29 октября 2012 г.

[Svitil-14] Свитил, Кэти (13 ноября 2002 г.). «50 самых важных женщин в науке» . Обнаружить . Проверено 1 мая 2019 г.

[15] Получатели медали Джона фон Неймана IEEE с сайта IEEE.

[16] «Почетные врачи» . Цюрих: ETH Computer Science. 22 марта 2006 г. Архивировано из оригинала 8 января 2013 г. . Проверено 29 октября 2012 г. Барбара Лисков и Дональд Э. Кнут были удостоены звания почетного доктора ETH 19 ноября 2005 года.

[17] «Выдающиеся лекторы Барбара Лисков и Дональд Э. Кнут» . Цюрих: ETH Computer Science. Январь 2006 г. Архивировано из оригинала 8 января 2013 г. Проверено 29 октября 2012 г.

[18] «Почетный доктор USI» . УЗИ . Проверено 16 мая 2021 г.

[19] Economista.es. «Барбара Лисков, новая почетная докторская степень UPM — elEconomista.es» (на испанском языке) . Проверено 11 июня 2018 г.

[20] Вейсман, Роберт (10 марта 2009 г.). «Главный приз в области вычислительной техники достаётся профессору Массачусетского технологического института» . Бостон Глобус .

[dr_dobbs-21] Jump up to: ^а ^б Барбара Лисков получила премию Тьюринга | 10 марта 2009 г., с журнала доктора Добба. сайта

[22] Лисков, Б. ; Снайдер, А.; Аткинсон, Р.; Шафферт, К. (август 1977 г.). «Механизмы абстракции в CLU». Коммуникации АКМ . 20 (8): 564–576. CiteSeerX 10.1.1.112.656 . дои : 10.1145/359763.359789 . S2CID 17343380 .

[23] Лисков, Б. (март 1988 г.). «Распределенное программирование в Argus» . Комм. АКМ . 31 (3): 300–312. дои : 10.1145/42392.42399 . S2CID 16233001 .

[24] «ACM называет Барбару Лисков лауреатом премии ACM AM Тьюринга 2008 года» . Ассоциация вычислительной техники. Архивировано из оригинала 16 июля 2012 г. Проверено 10 марта 2009 г.

[25] «В центре внимания | Национальный зал славы изобретателей» . Invent.org. 21 ноября 2013 г. Архивировано из оригинала 14 августа 2016 г. Проверено 31 мая 2016 г.

[26] «Барбара Х. Лисков, доктор философии». Проверено 25 марта 2024 г.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ 14 ]

[ 15 ]

[ 16 ]

[ 17 ]

[ 18 ]

[ 19 ]

[ 20 ]

[ 21 ]

[ 22 ]

[ 23 ]

[ 24 ]

[ 25 ]

[ 26 ]

v т и премии AM Тьюринга Лауреаты
1960-е годы	Алан Перлис (1966) Морис Винсент Уилкс (1967) Ричард Хэмминг (1968) Марвин Мински (1969)
1970-е годы	Джеймс Х. Уилкинсон (1970) Джон Маккарти (1971) Эдсгер В. Дейкстра (1972) Чарльз Бахман (1973) Дональд Кнут (1974) Аллен Ньюэлл ; Герберт А. Саймон (1975) Майкл О. Рабин ; Дана Скотт (1976) Джон Бэкус (1977) Роберт В. Флойд (1978) Кеннет Э. Айверсон (1979)
1980-е годы	Тони Хоар (1980) Эдгар Ф. Кодд (1981) Стивен Кук (1982) Кен Томпсон ; Деннис Ричи (1983) Никлаус Вирт (1984) Ричард Карп (1985) Джон Хопкрофт ; Роберт Тарьян (1986) Джон Кок (1987) Иван Сазерленд (1988) Уильям Кахан (1989)
1990-е годы	Фернандо Х. Корбато (1990) Робин Милнер (1991) Батлер Лэмпсон (1992) Юрис Хартманис ; Ричард Э. Стернс (1993) Эдвард Фейгенбаум ; Радж Редди (1994) Мануэль Блюм (1995) Амир Пнуэли (1996) Дуглас Энгельбарт (1997) Джим Грей (1998) Фред Брукс (1999)
2000-е	Эндрю Яо (2000) Оле-Йохан Даль ; Кристен Найгаард (2001) Рон Ривест ; Ади Шамир ; Леонард Адлеман (2002) Алан Кей (2003) Винт Серф ; Боб Кан (2004) Питер Наур (2005) Фрэнсис Аллен (2006) Эдмунд М. Кларк ; Э. Аллен Эмерсон ; Джозеф Сифакис (2007) Барбара Лисков (2008) Чарльз П. Такер (2009)
2010-е годы	Лесли Дж. Валиант (2010) Иудея Перл (2011) Шафи Гольдвассер ; Сильвио Микали (2012) Лесли Лэмпорт (2013) Майкл Стоунбрейкер (2014) Мартин Хеллман ; Уитфилд Диффи (2015) Тим Бернерс-Ли (2016) Джон Л. Хеннесси ; Дэвид Паттерсон (2017) Джошуа Бенджио ; Джеффри Хинтон ; Янн ЛеКун (2018) Эд Кэтмелл ; Пэт Ханрахан (2019)
2020-е годы	Альфред Ахо ; Джеффри Уллман (2020) Джек Донгарра (2021) Роберт Меткалф (2022) Ави Вигдерсон (2023)

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Франция Данные БНФ Германия Израиль Соединенные Штаты Латвия Австралия Греция Нидерланды
академики	Ассоциация вычислительной техники ЦиНии ДБЛП MathSciNet Проект математической генеалогии Скопус zbMATH
Другой	ИдРеф