Барбара Лисков
Барбара Лисков | |
|---|---|
 Лисков в 2010 году | |
| Рожденный | Барбара Джейн Хуберман 7 ноября 1939 г. Лос-Анджелес, Калифорния, США |
| Альма-матер |
|
| Известный |
|
| Супруг | Натан Лисков (1970–) |
| Дети | 1 |
| Награды |
|
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Массачусетский Институт Технологий |
| Тезис | Программа для игры в шахматы (1968) |
| Докторантура | Джон Маккарти [1] |
| Докторанты |
|
Барбара Лисков (родилась 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-е годы и Аргус [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]
См. также [ править ]
Ссылки [ править ]
- ^ Барбара Лисков в проекте «Математическая генеалогия»
- ^ Перейти обратно: а б с «Варвара Лисков» . Премия А. М. Тьюринга . Ассоциация вычислительной техники . Проверено 28 августа 2021 г.
- ^ Перейти обратно: а б Барбара Лисков , группа методологии программирования, Массачусетский технологический институт.
- ^ Карагианис, Лиз (осень 2009 г.). «Высший приз» . МТИ Спектр . Проверено 10 июля 2016 г.
- ^ «Джейн Сигел: Некролог» . San Francisco Chronicle (через Legacy.com) . 24 января 2010 года . Проверено 18 ноября 2014 г.
- ^ Д'Агостино, Сьюзен (20 ноября 2019 г.). «Архитектор современных алгоритмов» . Журнал Кванта . Проверено 21 октября 2020 г.
- ^ Перейти обратно: а б с д Гуттаг, Джон (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 г.). «Главный приз в области вычислительной техники достаётся профессору Массачусетского технологического института» . Бостон Глобус .
- ^ Перейти обратно: а б Барбара Лисков получила премию Тьюринга | 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.
- Выпускники Калифорнийского университета в Беркли
- Разработчики языков программирования
- Американские женщины-компьютерщики
- Американские ученые-компьютерщики
- 1939 рождений
- Живые люди
- Американские женщины-ученые
- Исследователи языков программирования
- Исследователи распределенных вычислений
- 1996 г. Члены Ассоциации вычислительной техники.
- Члены Национальной инженерной академии США
- Члены Национальной академии наук США
- Лауреаты премии Тьюринга
- Инженерный факультет Массачусетского технологического института
- Исследователи в области программной инженерии
- Выпускники инженерной школы Стэнфордского университета
- Американские инженеры 20-го века
- Американские инженеры XXI века
- Американские женщины-учёные XX века
- Американские женщины-учёные XXI века
- Американские женщины-изобретатели
- Лауреаты медали Бенджамина Франклина в области компьютерных и когнитивных наук