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

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

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

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

Биография

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

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

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

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

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

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

Награды

2004 — медаль Джона фон Неймана
2005 — почётный докторский титул от Швейцарской высшей технической школы Цюриха^[3]
2008 — Премия Тьюринга «за вклад в практические и теоретические основы языков программирования и системного дизайна, в частности в области исследований устойчивости к ошибкам, абстракции данных и распределённых вычислений.»^[4]^[5]
2013 — Премия Гарольда Пендера
2018 — Пионер компьютерной техники

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

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

Примечания

↑ Dr. Barbara H. Liskov Архивная копия от 2 мая 2019 на Wayback Machine (англ.)
↑ Driven to Abstraction.
↑ ETH — Computer Science — Honorary Doctors (англ.) (недоступная ссылка). Дата обращения: 29 октября 2012. Архивировано 8 января 2013 года.
↑ ACM Award Citation / Barbara Liskov (недоступная ссылка)
↑ John Timmer. ACM gives Turing award to OOP, distributed computing pioneer (англ.). Ars Technica (10 марта 2009). Дата обращения: 19 марта 2019. Архивировано 9 ноября 2020 года.

Ссылки

Страница Барбары Лисков при университете MIT (англ.)
«Премия Тьюринга за 2008 год присуждена Барбаре Лисков», Компьюлента (Дата обращения: 11 марта 2009)
«Barbara Liskov wins Turing Award» Архивная копия от 17 марта 2009 на Wayback Machine, Массачусетский технологический институт (англ.) (Дата обращения: 11 марта 2009)
Erica Naone. Driven to Abstraction (англ.) (недоступная ссылка). MIT Technology Review^[англ.] (21 декабря 2009). Дата обращения: 20 ноября 2013. Архивировано 24 сентября 2015 года.

[1] Dr. Barbara H. Liskov Архивная копия от 2 мая 2019 на Wayback Machine (англ.)

[_7a0b90b0aac59c44-2] Driven to Abstraction.

[3] ETH — Computer Science — Honorary Doctors (англ.) (недоступная ссылка). Дата обращения: 29 октября 2012. Архивировано 8 января 2013 года.

[4] ACM Award Citation / Barbara Liskov (недоступная ссылка)

[5] John Timmer. ACM gives Turing award to OOP, distributed computing pioneer (англ.). Ars Technica (10 марта 2009). Дата обращения: 19 марта 2019. Архивировано 9 ноября 2020 года.

[1]

[2]

[3]

[4]

[5]