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

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

С 1968 по 1972 год работала в корпорации Mitre, где занималась исследованиями компьютерных систем и разработкой операционной системы Venus.

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

Является профессором института (Institute Professor) и профессором инженерии Форда (Ford Professor of Engineering) в Массачусетском технологическом институте^[4].

Действительный член Американской академии наук и искусств и Ассоциации вычислительной техники.

Лисков всегда поощряла студенток, оказывала им поддержку, уделяет много внимания тому, чтобы сделать информатику более дружелюбной областью, в особенности для женщин. Привлекая к работе больше женщин и младший профессорско-преподавательский состав, Лисков помогает им в построении карьеры и дальнейшем продвижении. Сегодня Массачусетский технологический институт значительно отличается от того места, где она начала свою карьеру в начале 1970-х. Тогда на факультете работала лишь небольшая группа сотрудников женского пола^[5].

Лисков внесла фундаментальный вклад в развитие языков программирования и распределённых систем. В 1970-х годах она руководила разработкой языка Клу (CLU), который стал первым языком, реализовавшим концепцию абстракции данных. В CLU были введены механизмы «кластеров» (clusters) и итераторов, оказавшие влияние на архитектуру современных языков, таких как C++, Java и C#^[6][7].

В области распределённых вычислений под её руководством был создан язык Argus. Он представил концепции «хранителей» (guardians) для инкапсуляции ресурсов и «атомарных действий» (actions), обеспечивающих отказоустойчивость транзакций^[8][7].

В 1987 году совместно с Дженнет Уинг она сформулировала Принцип подстановки Барбары Лисков (LSP) — правило определения подтипов, гарантирующее корректность замены объектов базового типа их наследниками. Этот принцип входит в набор принципов объектно-ориентированного проектирования SOLID^[9]. В настоящее время Лисков возглавляет группу по методологии программирования в MIT.

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

• 2004 — медаль Джона фон Неймана
• 2005 — почётный докторский титул от Швейцарской высшей технической школы Цюриха
• 2008 — Премия Тьюринга «за вклад в практические и теоретические основы языков программирования и системного дизайна, в частности в области исследований устойчивости к ошибкам, абстракции данных и распределённых вычислений.»^[10]
• 2012 — Включение в Национальный зал славы изобретателей США^[11]
• 2013 — Премия Гарольда Пендера
• 2018 — Пионер компьютерной техники
• 2018 — Почётный доктор Мадридского политехнического университета^[12]
• 2023 — Медаль Бенджамина Франклина в области компьютерных и когнитивных наук «за основополагающий вклад в языки и методологию компьютерного программирования, обеспечивший возможность реализации надежных, многократно используемых программ»^[13][14]

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