Барбара Лісков (англ. Barbara Liskov; до шлюбу Барбара Джейн Г'юберман, англ. Barbara Jane Huberman; нар. 7 листопада 1939) — американська дослідниця в галузі інформатики, лауреатка премії Тюрінга 2008 року. У цей час є інститутською професоркою у Массачусетському технологічному інституті.
Барбара Лісков | |
---|---|
Barbara Liskov | |
Народилася | 7 листопада 1939 (84 роки) Лос-Анджелес, Каліфорнія, США |
Країна | Американське |
Національність | Американка |
Діяльність | інформатик, викладачка університету, інженерка |
Alma mater | Університет Каліфорнії (Берклі) Стенфордський університет |
Галузь | Комп'ютерні науки |
Заклад | Массачусетський технологічний інститут |
Науковий ступінь | докторський ступінь |
Науковий керівник | Джон Маккарті |
Вчителі | Джон Маккарті |
Аспіранти, докторанти | d d d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] |
Членство | Американська академія мистецтв і наук Національна інженерна академія США Association for Computing Machinery[2] Національна академія наук США |
Нагороди | |
Особ. сторінка | pmg.csail.mit.edu/~liskov/ |
Барбара Лісков у Вікісховищі |
Біографія
Народилась і виросла у Каліфорнії старшою з чотирьох дітей. У родині цінувалася освіта, проте батьки Барбари ніяким чином не вплинули на її захоплення наукою, зокрема математикою.
Барбара Лісков здобула бакалаврський ступінь з математики в Університеті Каліфорнії (Берклі) у 1961 році. Після цього подала заявку на навчання у два виші — у рідний Берклі та у Принстонський університет. З Принстона надійшла відповідь, що жінки не розглядаються як кандидатури на навчання, в тому числі післядипломне. Тим не менше, хоч Г'юберман і прийняли в Берклі, вона вирішила не продовжувати навчання і почала шукати роботу і вирішила переїхати з Каліфорнії в Бостон, звідки був родом її батько.
Перші спроби знайти роботу, пов'язану з математикою, не мали успіху. За її словами: «Все, що мені пропонували, — це була робота, що полягала у малюванні графіків або щось у тому роді». Тож вона пройшла по вакансії програмістки у корпорації , де пропрацювала близько року. Після цього змінила місце роботи на Гарвард, де працювала у проєкті, пов'язаному з перекладом природної мови.
Г'юберман знову вирішує продовжити навчання і подає заявку на математичну програму у Берклі та на програми комп'ютерних наук у Стенфорді та Гарварді. Пройшла в останні два виші, проте обрала Стенфордський університет, частково тому, щоб повернутися у Каліфорнію. У 1968-ому вона стала першою жінкою у США, що здобула Ph.D. у галузі комп'ютерних наук. Темою її наукової роботи була комп'ютерна програма для гри шахових закінчень.
Після цього Г'юберман знову повертається до Бостона для пошуку роботи. Водночас зустріла Нейта Лісков, з яким одружилася у 1970 році. Знову почала працювати на , де попрацювала до 1972 року, коли перейшла у Массачусетський технологічний інститут, де працює і викладає досі.[]
Наукова робота
Г'юберман-Лісков керувала багатьма відомими проектами, включаючи операційну систему Venus, невелику, малозатратну та інтерактивну систему; розробкою та реалізацією мов програмування CLU та ; об'єктно-орієнтованої бази даних Thor. Разом з вона розробила часткове визначення підтипу, відоме як принцип підстановки Лісков. Також керує в MIT, з поточним напрямом досліджень на розподілені обчислення.
Барбара Лісков є членкинею , Американської академії мистецтв та наук та Асоціації обчислювальної техніки. У 2004 році вона отримала медаль Джона фон Неймана за «фундаментальний внесок до мов програмування, методологій програмування та розподілених систем». Вона авторка трьох книг та понад сотні технічних праць.
Лісков отримала премію Тюрінга у 2008 році за роботу з дизайну мов програмування та методологій програмного забезпечення, що привело до розробки об'єктно-орієнтованого програмування. ACM відзначила її внесок до практичних і теоретичних основ «мов програмування та , особливо пов'язаних з абстракцією даних та розподіленими обчисленнями».
Див. також
Примітки
- Математичний генеалогічний проєкт — 1997.
- https://awards.acm.org/fellows/award-recipients
- . Архів оригіналу за 2 червня 2010. Процитовано 2 січня 2011.
- Barbara Liskov -- Engineergirl. Архів оригіналу за 9 липня 2013. Процитовано 6 вересня 2007. Profile from the National Academies of Engineering.
- UW-Madison Computer Science Ph.D.s Awarded, May 1965 - August 1970. Архів оригіналу за 9 липня 2013. Процитовано 8 листопада 2010. PhDs granted at UW-Madison Computer Sciences Department.
- *Huberman (Liskov), Barbara Jane (1968). A program to play chess end games [ 9 січня 2014 у Wayback Machine.]. Stanford University Department of Computer Science, Technical Report CS 106, Stanford Artificial Intelligence Project Memo AI-65
- Top prize in computing goes to MIT professor [ 22 липня 2010 у Wayback Machine.] з сайту The Boston Globe
- Barbara Liskov Wins Turing Award | March 10, 2009 [ 28 квітня 2009 у Wayback Machine.] з сайту
- ACM Names Barbara Liskov Recipient of the 2008 ACM A.M. Turing Award. Association for Computing Machinery. Архів оригіналу за 9 липня 2013. Процитовано 10 березня 2009.
Посилання
- Домашня сторінка професора Лісков [ 27 квітня 2009 у Wayback Machine.] (англ.)
- Programming Methodology Group [ 20 липня 2008 у Wayback Machine.] (англ.)
- Прес-реліз премії Тюрінга [ 9 січня 2014 у Wayback Machine.] (англ.)
- (англ.)
- Celebrating Women of Distinction, Barbara Liskov [ 31 липня 2018 у Wayback Machine.] (англ.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Barbara Liskov angl Barbara Liskov do shlyubu Barbara Dzhejn G yuberman angl Barbara Jane Huberman nar 7 listopada 1939 amerikanska doslidnicya v galuzi informatiki laureatka premiyi Tyuringa 2008 roku U cej chas ye institutskoyu profesorkoyu u Massachusetskomu tehnologichnomu instituti Barbara LiskovBarbara LiskovNarodilasya7 listopada 1939 1939 11 07 84 roki Los Andzheles Kaliforniya SShAKrayinaAmerikanskeNacionalnistAmerikankaDiyalnistinformatik vikladachka universitetu inzhenerkaAlma materUniversitet Kaliforniyi Berkli Stenfordskij universitetGaluzKomp yuterni naukiZakladMassachusetskij tehnologichnij institutNaukovij stupindoktorskij stupinNaukovij kerivnikDzhon MakkartiVchiteliDzhon MakkartiAspiranti doktorantid d d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 ChlenstvoAmerikanska akademiya mistectv i nauk Nacionalna inzhenerna akademiya SShA Association for Computing Machinery 2 Nacionalna akademiya nauk SShANagorodipremiya Tyuringa 2008 medal Dzhona fon Nejmana 2004 premiya Garolda Pendera 2013 Nacionalna zala slavi vinahidnikiv SShA 2012 d 2008 d 2015 Nagoroda Pioner komp yuternoyi galuzi 2018 d 28 veresnya 2012 d 1996 d 1996 d dOsob storinkapmg csail mit edu liskov Barbara Liskov u Vikishovishi U Vikipediyi ye statti pro inshih lyudej iz prizvishem Liskov BiografiyaNarodilas i virosla u Kaliforniyi starshoyu z chotiroh ditej U rodini cinuvalasya osvita prote batki Barbari niyakim chinom ne vplinuli na yiyi zahoplennya naukoyu zokrema matematikoyu Barbara Liskov zdobula bakalavrskij stupin z matematiki v Universiteti Kaliforniyi Berkli u 1961 roci Pislya cogo podala zayavku na navchannya u dva vishi u ridnij Berkli ta u Prinstonskij universitet Z Prinstona nadijshla vidpovid sho zhinki ne rozglyadayutsya yak kandidaturi na navchannya v tomu chisli pislyadiplomne Tim ne menshe hoch G yuberman i prijnyali v Berkli vona virishila ne prodovzhuvati navchannya i pochala shukati robotu i virishila pereyihati z Kaliforniyi v Boston zvidki buv rodom yiyi batko Pershi sprobi znajti robotu pov yazanu z matematikoyu ne mali uspihu Za yiyi slovami Vse sho meni proponuvali ce bula robota sho polyagala u malyuvanni grafikiv abo shos u tomu rodi Tozh vona projshla po vakansiyi programistki u korporaciyi de propracyuvala blizko roku Pislya cogo zminila misce roboti na Garvard de pracyuvala u proyekti pov yazanomu z perekladom prirodnoyi movi G yuberman znovu virishuye prodovzhiti navchannya i podaye zayavku na matematichnu programu u Berkli ta na programi komp yuternih nauk u Stenfordi ta Garvardi Projshla v ostanni dva vishi prote obrala Stenfordskij universitet chastkovo tomu shob povernutisya u Kaliforniyu U 1968 omu vona stala pershoyu zhinkoyu u SShA sho zdobula Ph D u galuzi komp yuternih nauk Temoyu yiyi naukovoyi roboti bula komp yuterna programa dlya gri shahovih zakinchen Pislya cogo G yuberman znovu povertayetsya do Bostona dlya poshuku roboti Vodnochas zustrila Nejta Liskov z yakim odruzhilasya u 1970 roci Znovu pochala pracyuvati na de popracyuvala do 1972 roku koli perejshla u Massachusetskij tehnologichnij institut de pracyuye i vikladaye dosi koli Naukova robotaG yuberman Liskov keruvala bagatma vidomimi proektami vklyuchayuchi operacijnu sistemu Venus neveliku malozatratnu ta interaktivnu sistemu rozrobkoyu ta realizaciyeyu mov programuvannya CLU ta ob yektno oriyentovanoyi bazi danih Thor Razom z vona rozrobila chastkove viznachennya pidtipu vidome yak princip pidstanovki Liskov Takozh keruye v MIT z potochnim napryamom doslidzhen na rozpodileni obchislennya Barbara Liskov ye chlenkineyu Amerikanskoyi akademiyi mistectv ta nauk ta Asociaciyi obchislyuvalnoyi tehniki U 2004 roci vona otrimala medal Dzhona fon Nejmana za fundamentalnij vnesok do mov programuvannya metodologij programuvannya ta rozpodilenih sistem Vona avtorka troh knig ta ponad sotni tehnichnih prac Liskov otrimala premiyu Tyuringa u 2008 roci za robotu z dizajnu mov programuvannya ta metodologij programnogo zabezpechennya sho privelo do rozrobki ob yektno oriyentovanogo programuvannya ACM vidznachila yiyi vnesok do praktichnih i teoretichnih osnov mov programuvannya ta osoblivo pov yazanih z abstrakciyeyu danih ta rozpodilenimi obchislennyami Div takozhPrincip pidstanovki LiskovPrimitkiMatematichnij genealogichnij proyekt 1997 d Track Q829984 https awards acm org fellows award recipients Arhiv originalu za 2 chervnya 2010 Procitovano 2 sichnya 2011 Barbara Liskov Engineergirl Arhiv originalu za 9 lipnya 2013 Procitovano 6 veresnya 2007 Profile from the National Academies of Engineering UW Madison Computer Science Ph D s Awarded May 1965 August 1970 Arhiv originalu za 9 lipnya 2013 Procitovano 8 listopada 2010 PhDs granted at UW Madison Computer Sciences Department Huberman Liskov Barbara Jane 1968 A program to play chess end games 9 sichnya 2014 u Wayback Machine Stanford University Department of Computer Science Technical Report CS 106 Stanford Artificial Intelligence Project Memo AI 65 Top prize in computing goes to MIT professor 22 lipnya 2010 u Wayback Machine z sajtu The Boston Globe Barbara Liskov Wins Turing Award March 10 2009 28 kvitnya 2009 u Wayback Machine z sajtu ACM Names Barbara Liskov Recipient of the 2008 ACM A M Turing Award Association for Computing Machinery Arhiv originalu za 9 lipnya 2013 Procitovano 10 bereznya 2009 PosilannyaDomashnya storinka profesora Liskov 27 kvitnya 2009 u Wayback Machine angl Programming Methodology Group 20 lipnya 2008 u Wayback Machine angl Pres reliz premiyi Tyuringa 9 sichnya 2014 u Wayback Machine angl angl Celebrating Women of Distinction Barbara Liskov 31 lipnya 2018 u Wayback Machine angl