Варвара Лискова - Barbara Liskov
Барбара Лисков | |
---|---|
Родился |
Барбара Джейн Хуберман
7 ноября 1939 г. |
Альма-матер | |
Известен | |
Супруг (а) | Натан Лисков (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 году получил степень доктора компьютерных наук в Массачусетском технологическом институте и преподавал информатику в Колледже Уильяма и Мэри .
Смотрите также
использованная литература
внешние ссылки
- Домашняя страница проф. Лискова
- Группа методологии программирования
- Пресс-релиз премии Тьюринга
- Интервью в журнале Quanta
- Том Ван Влек , Барбара Лисков , лауреат премии AM Тьюринга
- Интервью Национального общественного радио "Научная пятница" с Барбарой Лисков, первоначально вышедшее в эфир 13 марта 2009 г.
- Отмечают Женщина Различения, Лиск, Тьюринг Интервью , Стивен Ибараки
- "Барбара Лисков: Интервью, проведенное Уильямом Аспреем, Исторический центр IEEE, 6 августа 1991 г." . GHN: Глобальная историческая сеть IEEE . Проверено 29 ноября 2013 .
- Джон В. Гуттаг , Барбара Лисков , Электрон и Бит: EECS в MIT, 1902–2002 , Глава VII: «Женщины-первопроходцы в EECS», стр. 225–239, 2003, Департамент электротехники и компьютерных наук, MIT
- Барбара Лискова назначена профессором института , MIT News, 1 июля 2008 г.
- Новости отдела: Барбара Лисков назначена профессором института. Архивировано 5 ноября 2016 г. в Wayback Machine , информационный бюллетень EECS, осень 2008 г.
- Наташа Плоткина, Барбара Лискова назначена профессором института , The Tech (MIT), 128,29, 9 июля 2008 г.
- Роберт Вайсман, главный приз в области вычислений достается профессору Массачусетского технологического института , The Boston Globe , 10 марта 2009 г.
- Эрика Наоне, Driven to Abstraction , MIT Technology Review , 21 декабря 2009 г.
- Барбара Лисков Архивировано 12 июля 2018 года в Wayback Machine в вики по программированию Chess.