stringtranslate.com

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

Барбара Лисков (родилась 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 году Лисков был награжден медалью Бенджамина Франклина от Института Франклина за «основополагающий вклад в языки и методологию компьютерного программирования, позволяющий реализовывать надежные, многократно используемые программы» [26] .

Избранные произведения

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

Книги

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

Личная жизнь

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

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

Ссылки

  1. ^ Барбара Лисков в проекте «Генеалогия математики»
  2. ^ abc "Барбара Лисков". Премия имени А. М. Тьюринга . Ассоциация вычислительной техники . Получено 28 августа 2021 г.
  3. ^ ab Барбара Лисков, Группа методологии программирования, Массачусетский технологический институт.
  4. ^ Карагианис, Лиз (осень 2009 г.). "Top Prize". MIT Spectrum . Получено 10 июля 2016 г.
  5. ^ "Джейн Сигел: Некролог". San Francisco Chronicle (через Legacy.com) . 24 января 2010 года . Проверено 18 ноября 2014 г.
  6. ^ D'Agostino, Susan (20 ноября 2019 г.). «Архитектор современных алгоритмов». Журнал Quanta . Получено 21 октября 2020 г.
  7. ^ abcd Гуттаг, Джон (2005-01-01). Электрон и бит: электротехника и информатика в Массачусетском технологическом институте, 1902–2002 . Кембридж, Массачусетс: MIT, кафедра электротехники и информатики. OCLC  61332947.
  8. ^ "Барбара Лисков". EngineerGirl . Получено 2007-09-06 .Профиль от Национальной инженерной академии.
  9. ^ "UW-Madison Computer Science Ph.D. Awards, May 1965 – August 1970" . Получено 2010-11-08 .Докторская степень, присуждаемая на факультете компьютерных наук Висконсинского университета в Мадисоне.
  10. ^ "Барбара Лисков | Биография, премия А. М. Тьюринга и факты". Encyclopedia Britannica . Получено 25.09.2021 .
  11. ^ Huberman (Liskov), Barbara Jane (1968). Программа для игры в шахматные эндшпили (PDF) (Отчет). Технический отчет CS 106, Stanford Artificial Intelligence Project Memo AI-65. Stanford University Department of Computer Science. Архивировано из оригинала (PDF) 11 февраля 2017 г.
  12. ^ "Infosys Prize - Jury 2009". Infosys Science Foundation . Получено 1 марта 2021 г.
  13. ^ "Великолепная семерка MIT: женщины-преподаватели названы ведущими учеными". MIT News Office . Кембридж, Массачусетс. 5 ноября 2002 г. Получено 29 октября 2012 г.
  14. ^ Свитил, Кэти (13 ноября 2002 г.). «50 самых важных женщин в науке». Discover . Получено 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". USI . Получено 2021-05-16 .
  19. ^ elEconomista.es. «Барбара Лисков, новый почетный доктор от UPM — elEconomista.es» (на испанском языке) . Проверено 11 июня 2018 г.
  20. ↑ Вайсман, Роберт (10 марта 2009 г.). «Главная премия в области вычислительной техники достается профессору Массачусетского технологического института». The Boston Globe .
  21. ^ ab Барбара Лисков получает премию Тьюринга | 10 марта 2009 г. с веб-сайта журнала Dr. Dobb's Journal
  22. ^ Лисков, Б.; Снайдер, А.; Аткинсон, Р.; Шафферт, К. (август 1977 г.). «Механизмы абстракции в CLU». Сообщения ACM . 20 (8): 564–576. CiteSeerX 10.1.1.112.656 . doi :10.1145/359763.359789. S2CID  17343380. 
  23. ^ Лисков, Б. (март 1988 г.). «Распределенное программирование в Argus». Comm. ACM . 31 (3): 300–312. doi : 10.1145/42392.42399 . S2CID  16233001.
  24. ^ "ACM называет Барбару Лисков лауреатом премии ACM AM Turing Award 2008". Ассоциация вычислительной техники. Архивировано из оригинала 2012-07-16 . Получено 2009-03-10 .
  25. ^ "В центре внимания | Национальный зал славы изобретателей". Invent.org. 2013-11-21. Архивировано из оригинала 2016-08-14 . Получено 2016-05-31 .
  26. ^ "Барбара Х. Лисков, доктор философии." Получено 25.03.2024 .

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

В Викицитатнике есть цитаты, связанные с Барбарой Лисков .