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

Барбара Лисков
Barbara H. Liskov

Дата рождения:	7 ноября 1939(1939-11-07) (72 года)
Страна:	США
Научная сфера:	Информатика
Место работы:	Массачусетский технологический институт
Альма-матер:	Калифорнийский университет в Беркли, Стэнфордский университет
Известен как:	CLU, Argus
Награды и премии	Премия Тьюринга
Сайт:	http://www.pmg.csail.mit.edu/~liskov/

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

Биография

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

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

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

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

Награды

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

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

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

Примечания

Moses Liskov

ETH — Computer Science — Honorary Doctors

ACM Award Citation / Barbara Liskov

ACM gives Turing award to OOP, distributed computing pioneer

См. также

CLU

Argus

Принцип подстановки Барбары Лисков

Ссылки

Страница Барбары Лисков при университете MIT (англ.)

«Премия Тьюринга за 2008 год присуждена Барбаре Лисков», Компьюлента (Проверено 11 марта 2009)

«Barbara Liskov wins Turing Award», Массачусетский технологический институт (англ.) (Проверено 11 марта 2009)

Лауреаты премии Тьюринга

Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл + Саймон (1975) • Рабин + Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон + Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт + Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис + Стернс (1993) • Фейгенбаум + Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль + Нюгорд (2001) • Ривест + Шамир + Адлеман (2002) • Кэй (2003) • Серф + Кан (2004) • Наур (2005) • Аллен (2006) • Кларк + Эмерсон + Сифакис (2007) • Лисков (2008) • Текер (2009) • Вэлиант (2010) • Перл (2011)

Sud-mal.ru

МОУ СОШ

Новости