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

Материал из Циклопедии
Перейти к: навигация, поиск

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

Barbara Jane Liskov
20091222102310-0 0.jpg
Дата рождения 7 ноября 1939 года
Место рождения Лос-Анджелес, Соединённые Штаты













Барбара Лисков (англ. Barbara Liskov) — американский учёный в области информатики, исследователь проблемы абстракции данных, руководитель группы разработки языка программирования Клу, действительный член Американской академии наук и искусств, Национальной академии инженерных наук, фелло Ассоциации вычислительной техники[1].

[править] Научная карьера

Барбара Джейн Губерман родилась 7 ноября 1939 года в Лос-Анджелесе.

В 1961 году получила степень бакалавра по математике в Калифорнийском университете в Беркли.

В 1968 году окончила Стэнфордский университет, став первой женщиной в Соединённых Штатах, получившей степень доктора по информатике с диссертацией о программной реализации игры в шахматный эндшпиль (A program to play chess endgames).

В 1970 году вышла замуж за Натана Лискова, с которым в 1975 году родила сына Мозеса Лискова. И муж и сын — учёные в области информатики.

С 1972 года Барбара Лисков работает и преподаёт в Массачусетском технологическом институте.

В 1970-е годы и 1980-е годы руководила разработкой таких языков программирования как Клу и Argus, и объектно-ориентированной системы управления базами данных Thor.

В 1987 году вместе с Дженнет Уинг разработала принцип подстановки — концепцию определения подтипа.

В 2004 году получила медаль Джона фон Неймана.

В 2005 году — почётный доктор Швейцарской высшей технической школы Цюриха.

В 2008 году — лауреат премия Тьюринга — «за вклад в практические и теоретические основы языков программирования и системного дизайна, в частности в области исследований устойчивости к ошибкам, абстракции данных и распределённых вычислений.»

В 2013 году была удостоена премии Гарольда Пендера.

[править] Источники


Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты