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

Биография

Учёная в области теории вычислительных систем, лауреат премии Тьюринга 2008 года.

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

Массачусетском технологическом институте.

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

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

Муж Барб

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

Награды

2004 — медаль Джона фон Неймана

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

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