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

Барбара Лисков (англ. Barbara Liskov, урождённая Барбара Джейн Губерман — Barbara Jane Huberman; род. 7 ноября 1939) — американский учёный в области информатики, исследователь проблемы абстракции данных, руководитель группы разработки языка программирования Клу, лауреат премии Тьюринга 2008 года.

Барбара Лисков
Barbara Jane Liskov
Дата рождения 7 ноября 1939(1939-11-07) (82 года)
Место рождения
Страна  США
Научная сфера информатика
Место работы Массачусетский технологический институт
Альма-матер Калифорнийский университет в Беркли, Стэнфордский университет
Учёная степень доктор
Научный руководитель Джон Маккарти
Известна как создатель Клу, исследователь абстракции данных
Награды и премии Премия Тьюринга
Сайт pmg.csail.mit.edu/~lisko…
 Медиафайлы на Викискладе

Член Национальной инженерной академии США (1988)[1], Национальной академии наук США (2012)[2].

Биография

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

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

Руководила разработкой таких языков программирования как Клу и Argus в 1970-х и 1980-х годах, а также объектно-ориентированной системы управления базами данных Thor. Вместе с Дженнет Уинг разработала в 1987 году принцип подстановки — концепцию определения подтипа. Возглавляет группу по методологии программирования в Массачусетском технологическом институте, в настоящее время уделяя особое внимание BFT-отказоустойчивости и распределенным вычислениям.

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

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

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

Награды

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

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

Примечания

  1. Dr. Barbara H. Liskov  (англ.)
  2. Лисков, Барбара на сайте Национальной академии наук США  (англ.)
  3. Driven to Abstraction.
  4. ETH — Computer Science — Honorary Doctors (англ.) (недоступная ссылка). Дата обращения: 29 октября 2012. Архивировано 8 января 2013 года.
  5. ACM Award Citation / Barbara Liskov (недоступная ссылка)
  6. John Timmer. ACM gives Turing award to OOP, distributed computing pioneer (англ.). Ars Technica (10 марта 2009). Дата обращения: 19 марта 2019.

Ссылки

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.