Барбара Лисков - Barbara Liskov

Барбара Лисков
Барбара Лисков Ученый-компьютерщик Массачусетского технологического института 2010.jpg
Лисков в 2010 году.
Родившийся
Барбара Джейн Хуберман

(1939-11-07) 7 ноября 1939 г. (возраст 81)
Лос-Анджелес, Калифорния
НациональностьАмериканец
Альма-матер
Известен
Супруг (а)Натан Лисков (1970–)
Дети1
Награды
Научная карьера
ПоляИнформатика
УчрежденияМассачусетский Институт Технологий
ТезисПрограмма для игры в шахматы.  (1968)
ДокторантДжон Маккарти[1]
ДокторантыМорис Херлихи, Дж. Элиот Мосс, Санджай Гемават

Барбара Лисков (родился 7 ноября 1939 г. Барбара Джейн Хуберман) - американец специалист в области информатики[2] кто такой Профессор института на Массачусетский Институт Технологий и профессора инженерных наук Форда в Школа инженерии с электротехника и Информатика отделение.[3] Она была одной из первых женщин, получивших докторскую степень в области компьютерных наук в Соединенных Штатах. Премия Тьюринга победитель, разработавший Принцип подстановки Лискова.

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

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

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

Карьера

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

Лисков руководил многими значительными проектами, включая операционную систему Venus, небольшую, недорогую и интерактивную систему разделения времени; разработка и реализация CLU; Аргус, первый язык высокого уровня для поддержки реализации распределенных программ и демонстрации техники конвейерная обработка обещаний; и Тор, объектно-ориентированная база данных система. С Жаннетт Винг, она разработала особое определение подтип, широко известный как Принцип подстановки Лискова. Она возглавляет группу методологии программирования в Массачусетский технологический институт, с текущим фокусом исследований в Византийская отказоустойчивость и распределенных вычислений.[3]

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

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

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

Лисков получил 2008 Премия Тьюринга от ACM в марте 2009 г.,[17] за ее работу в области разработки языков программирования и методологии программного обеспечения, которая привела к разработке объектно-ориентированного программирования.[18] В частности, Лисков разработал два языка программирования, CLU[19] в 1970-х и Аргус[20] в 1980-е гг.[18] ACM процитировал ее вклад в практические и теоретические основы «языка программирования и Системный дизайн, особенно связанные с абстракция данных, Отказоустойчивость, и распределенных вычислений ".[21] В 2012 году она была введена в должность Национальный зал славы изобретателей.[22]

Барбара Лисков - автор трех книг и более ста технических статей.

Личная жизнь

В 1970 году она вышла замуж за Натана Лискова.[7]

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

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

  1. ^ Барбара Лисков на Проект "Математическая генеалогия"
  2. ^ а б Барбара Лискова - А. Лауреат премии Тьюринга
  3. ^ а б Барбара Лисков, Группа методологии программирования, Массачусетский технологический институт.
  4. ^ Карагианис, Лиз (осень 2009 г.). «Главный приз». MIT Spectrum. Получено 10 июля 2016.
  5. ^ "Джейн Сигел: некролог". Хроники Сан-Франциско (через Legacy.com). 24 января 2010 г.. Получено 2014-11-18.
  6. ^ Д'Агостино, Сьюзен. «Архитектор современных алгоритмов». Журнал Quanta. Получено 2020-10-21.
  7. ^ а б c d Гуттаг, Джон (01.01.2005). Электрон и бит: электротехника и информатика в Массачусетском технологическом институте, 1902–2002 гг.. Кембридж, Массачусетс: Массачусетский технологический институт, кафедра электротехники и компьютерных наук. OCLC  61332947.
  8. ^ "Барбара Лискова". ИнженерДевочка. Получено 2007-09-06. Профиль Национальных инженерных академий.
  9. ^ «Присуждение степени доктора философии в области компьютерных наук UW-Madison, май 1965 - август 1970». Получено 2010-11-08. Докторская степень присуждается Департаментом компьютерных наук UW-Madison.
  10. ^ Хуберман (Лисков), Барбара Джейн (1968). Программа для игры в шахматы. (PDF) (Отчет). Технический отчет CS 106, Стэнфордский проект по искусственному интеллекту, меморандум AI-65. Факультет компьютерных наук Стэнфордского университета.
  11. ^ «Великолепная семерка Массачусетского технологического института: женщины-преподаватели названы ведущими учеными». Офис новостей MIT. Кембридж, Массачусетс. 5 ноя 2002. Получено 29 октября 2012.
  12. ^ Свитил, Кэти (13 ноября 2002 г.). «50 самых важных женщин в науке». Обнаружить. Получено 1 мая 2019.
  13. ^ Получатели медали IEEE Джона фон Неймана с сайта IEEE
  14. ^ «Почетные врачи». Цюрих: ETH Computer Science. 22 марта 2006 г. Архивировано с оригинал 8 января 2013 г.. Получено 29 октября 2012. Барбара Лисков и Дональд Э. Кнут были удостоены звания почетного доктора ETH 19 ноября 2005 года.
  15. ^ «Выдающиеся лекторы Барбара Лисков и Дональд Э. Кнут». Цюрих: ETH Computer Science. Январь 2006 г. Архивировано с оригинал 8 января 2013 г.. Получено 29 октября 2012.
  16. ^ elEconomista.es. "Барбара Лисков, nueva doctor honoris causa por la UPM - elEconomista.es" (на испанском). Получено 2018-06-11.
  17. ^ Вайсман, Роберт (10 марта 2009 г.). «Главный приз в области вычислений достается профессору Массачусетского технологического института». Бостонский глобус.
  18. ^ а б Барбара Лисков получает премию Тьюринга | 10 марта 2009 г. от Журнал доктора Добба интернет сайт
  19. ^ Лисков, Б.; Снайдер, А .; Аткинсон, Р .; Шафферт, К. (август 1977 г.). «Механизмы абстракции в CLU». Коммуникации ACM. 20 (8): 564–576. CiteSeerX  10.1.1.112.656. Дои:10.1145/359763.359789. S2CID  17343380.
  20. ^ Лисков, Б. (Март 1988 г.). «Распределенное программирование в Argus». Comm. ACM. 31 (3): 300–312. Дои:10.1145/42392.42399. S2CID  16233001.
  21. ^ «ACM назначает Барбару Лисков лауреатом премии ACM A.M. Turing за 2008 год». Ассоциация вычислительной техники. Архивировано из оригинал на 2012-07-16. Получено 2009-03-10.
  22. ^ "В центре внимания | Национальный зал славы изобретателей". Invent.org. 2013-11-21. Архивировано из оригинал на 2016-08-14. Получено 2016-05-31.

внешняя ссылка