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

Американский ученый-компьютерщик

Барбара Лисков (родилась 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] Она была удостоена звания почетного доктора Университета Лугано в 2011 году ^[18] и Мадридского политехнического университета в 2018 году. ^[19]

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

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

Лисков — автор пяти книг по состоянию на февраль 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]

Смотрите также

• Биографический портал

• Список пионеров информатики
• Женщины в вычислительной технике
• Хронология женщин в науке

Рекомендации

1. Барбара Лисков в проекте «Математическая генеалогия»
2. "Барбара Лисков". Премия А. М. Тьюринга . Ассоциация вычислительной техники . Проверено 28 августа 2021 г.
3. Барбара Лисков, группа методологии программирования, Массачусетский технологический институт.
4. Карагианис, Лиз (осень 2009 г.). «Высший приз». МТИ Спектр . Проверено 10 июля 2016 г.
5. "Джейн Сигел: Некролог". San Francisco Chronicle (через Legacy.com) . 24 января 2010 года . Проверено 18 ноября 2014 г.
6. Д'Агостино, Сьюзен (20 ноября 2019 г.). «Архитектор современных алгоритмов». Журнал Кванта . Проверено 21 октября 2020 г.
7. Гуттаг, Джон (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 г.
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. elEconomista.es. «Барбара Лисков, новый почетный доктор от UPM — elEconomista.es» (на испанском языке) . Проверено 11 июня 2018 г.
20. Вейсман, Роберт (10 марта 2009 г.). «Главный приз в области вычислений достается профессору Массачусетского технологического института». Бостон Глобус .
21. Барбара Лисков получает премию Тьюринга | 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 г.

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

• Домашняя страница профессора Лискова
• Группа методологии программирования
• Пресс-релиз премии Тьюринга
• Интервью в журнале 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.