Барбара Лисков (родилась 7 ноября 1939 года как Барбара Джейн Хуберман ) — американский ученый -компьютерщик , внесший новаторский вклад в языки программирования и распределенные вычисления . Ее известная работа включает разработку принципа подстановки Лискова, который описывает фундаментальную природу абстракции данных и используется в теории типов (см. Подтипы ) и в объектно-ориентированном программировании . Ее работа была отмечена премией Тьюринга 2008 года , высшей наградой в области компьютерных наук.
Лисков — одна из первых женщин, получивших докторскую степень в области компьютерных наук в США. В настоящее время она является профессором института и профессором инженерии Форда в Массачусетском технологическом институте . [2] [3]
Лисков родился 7 ноября 1939 года в Лос-Анджелесе , штат Калифорния , [4] в еврейской семье, старшей из четырех детей Джейн (урожденная Дикхофф) и Мозеса Хубермана. [5] Она получила степень бакалавра в области математики со второстепенным в области физики в Калифорнийском университете в Беркли в 1961 году. В ее классах была еще одна одноклассница, остальные были мальчиками. [6] После окончания учебы она подала документы на программы магистратуры по математике в Беркли и Принстоне . В то время Принстон не принимал студенток по математике. [7] Ее приняли в Беркли, но вместо учебы она переехала в Бостон и начала работать вКорпорация Митра . Именно там она увлеклась компьютерами и программированием. Она проработала в Mitre год, прежде чем устроилась на работу программистом в Гарвард, где занималась языковым переводом. [7]
Затем она решила вернуться в школу и снова подала документы в Беркли, а также в Стэнфорд и Гарвард. В 1968 году она стала одной из первых женщин в Соединенных Штатах, получивших степень доктора философии. с факультета компьютерных наук, когда она получила степень в Стэнфордском университете . [8] [9] [10] В Стэнфорде она работала с Джоном Маккарти и получила поддержку в работе над искусственным интеллектом . [7] Тема ее докторской диссертации. Это была компьютерная программа для игры в шахматные эндшпили , для которой она разработала важную убийственную эвристику . [11]
Лисков руководил многими значительными проектами, включая операционную систему Venus, небольшую и недорогую систему с разделением времени ; разработка и внедрение CLU ; Argus , первый язык высокого уровня, поддерживающий реализацию распределенных программ и демонстрирующий технику конвейерной обработки обещаний ; и Thor, объектно-ориентированная система баз данных . Вместе с Жанеттой Винг она разработала конкретное определение подтипирования , широко известное как принцип замещения Лискова . Она возглавляет группу методологии программирования в Массачусетском технологическом институте , в настоящее время занимается исследованиями византийской отказоустойчивости ираспределенные вычисления . [3] В 2009 году она входила в состав первого жюри по инженерным и компьютерным наукам премии Infosys . [12]
Лисков является членом Национальной инженерной академии , Национальной академии наук , а также членом Американской академии искусств и наук и Ассоциации вычислительной техники (ACM). В 2002 году она была признана одной из лучших женщин-преподавателей Массачусетского технологического института и среди 50 лучших преподавателей естественных наук в США [13] . В 2002 году журнал Discover признал Лисков одной из 50 самых важных женщин в науке. . [14]