Русская Википедия:Лисков, Барбара
Шаблон:Однофамильцы Шаблон:Учёный Барбара Лисков (Шаблон:Lang-en, урождённая Барбара Джейн Губерман — Barbara Jane Huberman; род. 7 ноября 1939) — американский учёный в области информатики, исследователь проблемы абстракции данных, руководитель группы разработки языка программирования Клу, лауреат премии Тьюринга 2008 года.
Член Национальной инженерной академии США (1988)[1], Национальной академии наук США (2012)[2].
Биография
Родилась в Калифорнии, где поселились её бабушка и дедушка по отцовской линии — эмигранты из Российской империи Лев Губерман и Роза Марголис. Получила степень бакалавра по математике в Калифорнийском университете в Беркли в 1961 году, после чего продолжила обучение в Стэнфорде, где в 1968 году стала первой женщиной в США, получившей степень доктора по информатике с диссертацией о программной реализации игры в шахматный эндшпиль (A program to play chess endgames).
С 1972 года работает и преподаёт в Массачусетском технологическом институте.
Руководила разработкой таких языков программирования как Клу и Argus в 1970-х и 1980-х годах, а также объектно-ориентированной системы управления базами данных Thor. Вместе с Дженнет Уинг разработала в 1987 году принцип подстановки — концепцию определения подтипа. Возглавляет группу по методологии программирования в Массачусетском технологическом институте, в настоящее время уделяя особое внимание BFT-отказоустойчивости и распределенным вычислениям.
Действительный член Американской академии наук и искусств и Ассоциации вычислительной техники.
Лисков всегда поощряла студенток, оказывала им поддержку, уделяет много внимания тому, чтобы сделать информатику более дружелюбной областью, в особенности для женщин. Привлекая к работе больше женщин и младший профессорско-преподавательский состав, Лисков помогает им в построении карьеры и дальнейшем продвижении. Сегодня Массачусетский технологический институт значительно отличается от того места, где она начала свою карьеру в начале 1970-х. Тогда на факультете работала лишь небольшая группа сотрудников женского полаШаблон:Sfn.
Муж — Натан Лисков (Nathan Arthur Liskov, поженились в 1970 году) и сын Мозес Лисков (Moses Liskov, 1975) — также учёные в области информатики.
Награды
- 2004 — медаль Джона фон Неймана
- 2005 — почётный докторский титул от Швейцарской высшей технической школы Цюриха[3]
- 2008 — Премия Тьюринга «за вклад в практические и теоретические основы языков программирования и системного дизайна, в частности в области исследований устойчивости к ошибкам, абстракции данных и распределённых вычислений.»[4][5]
- 2013 — Премия Гарольда Пендера
- 2018 — Пионер компьютерной техники
Библиография
- CLU Reference Manual, 1984
- Abstraction and specification in programm development, 1986
- Program development in Java: Abstraction, specification and object-oriented design, 2001
Примечания
Ссылки
- Страница Барбары Лисков при университете MIT Шаблон:Ref-en
- «Премия Тьюринга за 2008 год присуждена Барбаре Лисков», Компьюлента Шаблон:Проверено
- «Barbara Liskov wins Turing Award» Шаблон:Wayback, Массачусетский технологический институт Шаблон:Ref-en Шаблон:Проверено
- Шаблон:Cite web
Шаблон:Выбор языка Шаблон:- Шаблон:Премия Тьюринга
- Русская Википедия
- Учёные в области информатики США
- Учёные США
- Выпускники Калифорнийского университета в Беркли
- Выпускники Инженерной школы Стэнфордского университета
- Выпускники Стэнфордского университета
- Создатели языков программирования
- Действительные члены Ассоциации вычислительной техники
- Награждённые медалью Джона фон Неймана
- Лауреаты премии Гарольда Пендера
- Преподаватели Инженерной школы Массачусетского технологического института
- Преподаватели Массачусетского технологического института
- Члены Национальной инженерной академии США
- Члены Национальной академии наук США
- Почётные доктора ETH Zurich
- Почётные доктора Брауновского университета
- Почётные доктора Северо-Западного университета
- Почётные доктора Политехнического университета Каталонии
- Почётные доктора Стэнфордского университета
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Русской Википедии