Барбара Лісков (англ. 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, Інтернет