Варвара Лискова - Barbara Liskov

Барбара Лисков
Барбара Лисков Ученый-компьютерщик Массачусетского технологического института 2010.jpg
Лисковым в 2010 году.
Родился
Барбара Джейн Хуберман

( 1939-11-07 )7 ноября 1939 г. (81 год)
Альма-матер
Известен
Супруг (а) Натан Лисков (1970–)
Дети 1
Награды
Научная карьера
Поля Информатика
Учреждения Массачусетский Институт Технологий
Тезис Программа для игры в шахматы на конце  (1968)
Докторант Джон Маккарти
Докторанты Морис Херлихи , Дж. Элиот Мосс , Санджай Гемават

Лиск (родились 7 ноября 1939 года , как Барбара Джейн Губерман ) является американским ученым , который является Институт профессором в Массачусетском технологическом институте и Форд профессор инженерии в своей инженерной школе «s электротехники и информатики отдела.

Она первая женщина, получившая докторскую степень по информатике в Соединенных Штатах, и лауреат премии Тьюринга , разработавшей принцип замещения Лискова .

ранняя жизнь и образование

Лисков родился 7 ноября 1939 года в Лос-Анджелесе , штат Калифорния , в еврейской семье, старшей из четырех детей Джейн (урожденная Дикхофф) и Мозеса Хубермана. В 1961 году она получила степень бакалавра математики и физику в Калифорнийском университете в Беркли. В ее классах была еще одна одноклассница, остальные были мужчинами. После окончания учебы она подала документы на выпускные программы по математике в Беркли и Принстоне . В то время Принстон не принимал студенток по математике. Ее приняли в Беркли, но вместо учебы она переехала в Бостон и начала работать в Mitre Corporation . Именно там она увлеклась компьютерами и программированием. Она проработала в Mitre один год, а затем устроилась на работу программистом в Гарвард, где занималась языковым переводом.

Затем она решила вернуться в школу и снова подала документы в Беркли, но также в Стэнфорд и Гарвард. В 1968 году она стала одной из первых женщин в США, получивших степень доктора философии. окончила факультет информатики, когда получила степень в Стэнфордском университете . В Стэнфорде она работала с Джоном Маккарти и получила поддержку в области искусственного интеллекта . Тема ее докторской диссертации. Диссертация была компьютерной программой для игры в шахматный эндшпиль, для которой она разработала важную эвристику убийцы .

Карьера

После окончания Стэнфорда Лисков вернулся в Митру, чтобы работать научным сотрудником.

Лисков руководил многими значительными проектами, включая операционную систему Venus, небольшую недорогую систему с разделением времени ; проектирование и внедрение CLU ; Argus , первый язык высокого уровня, поддерживающий реализацию распределенных программ и демонстрирующий технику конвейерной обработки обещаний ; и Thor, объектно-ориентированная система баз данных . Вместе с Жаннетт Винг она разработала особое определение подтипов , широко известное как принцип замещения Лискова . Она возглавляет группу методологии программирования в Массачусетском технологическом институте , в настоящее время специализируясь на исследованиях византийской отказоустойчивости и распределенных вычислений . В 2009 году она входила в состав первого жюри в области инженерии и информатики, присуждающего премию Infosys .

Признание и награды

Лисков является членом Национальной инженерной академии , Национальной академии наук, научным сотрудником Американской академии искусств и наук и Ассоциации вычислительной техники (ACM). В 2002 году она была признана одной из лучших женщин-преподавателей Массачусетского технологического института и среди 50 лучших преподавателей факультетов естественных наук в США. В 2002 году журнал Discover признал Лискову одной из 50 самых важных женщин в науке.

В 2004 году Барбара Лисков выиграла медаль Джона фон Неймана за «фундаментальный вклад в языки программирования, методологию программирования и распределенные системы ». 19 ноября 2005 года Барбара Лисков и Дональд Э. Кнут были удостоены званий почетных докторов ETH . Лисков и Кнут также были представлены в серии выдающихся коллоквиумов ETH в Цюрихе. Она была награждена Вручение диплома почетного доктора со стороны Университета Лугано в 2011 году и Universidad Политекника де Мадрид в 2018 году.

В марте 2009 года Лисков получила премию Тьюринга от ACM за свою работу в области разработки языков программирования и методологии программного обеспечения, которая привела к развитию объектно-ориентированного программирования . В частности, Лисков разработал два языка программирования: CLU в 1970-х и Argus в 1980-х. ACM процитировал ее вклад в практические и теоретические основы «языка программирования и проектирования систем , особенно связанных с абстракцией данных , отказоустойчивостью и распределенными вычислениями ». В 2012 году она была введена в Национальный зал славы изобретателей .

Барбара Лисков - автор трех книг и более ста технических статей.

Личная жизнь

В 1970 году она вышла замуж за Натана Лискова. У них есть сын, Моисей, который в 2004 году получил степень доктора компьютерных наук в Массачусетском технологическом институте и преподавал информатику в Колледже Уильяма и Мэри .

Смотрите также

использованная литература

внешние ссылки