1. Биография

Барбара Хьюберман Лисков родилась в Калифорнии, где поселились её бабушка и дедушка по отцовской линии — иммигранты из Российской империи Лео Хьюберман и Роуз Марголис. Окончила Калифорнийский университет в Беркли со степенью бакалавра по математике в 1961 году, после чего поступила в Стэнфордский университет. Там она в 1968 году стала первой женщиной в США, получившей степень доктора по информатике. Диссертация Лисков носила заголовок A program to play chess endgames. С 1972 года работает и преподаёт в Массачусетском технологическом институте.

Барбара Лисков руководила разработкой таких языков программирования как CLU и Argus в 1970-х и 80-х годах, а также объектно-ориентированной системы управления базами данных Thor. Вместе с Дженнет Уинг, Лисков разработала в 1987 году принцип подстановки — концепцию определения подтипа.

Лисков состоит в таких организациях как Американской академии наук и искусств, Национальной академии инженерных наук, а также Ассоциация вычислительной техники.

Муж Барбары Лисков (с 1970 года) Натан Лисков (Nathan Arthur Liskov) и её сын Мозес Лисков (Moses Liskov) — также учёные в области информатики и вычислительной техники.^[1]

2. Награды

• 2004 — IEEE John von Neumann Medal
• 2005 — почётный докторский титул от Швейцарской высшей технической школы Цюриха^[2]
• 2008 — Премия Тьюринга за вклад в практические и теоретические основы языков программирования и системного дизайна, в частности в области исследований устойчивости к ошибкам, абстракции данных и распределённых вычислений.^[3][4]

3. Библиография

• CLU Reference Manual, 1984
• Abstraction and specification in programm development, 1986
• Program development in Java: Abstraction, specification and object-oriented design, 2001

Список литературы: