| dbpprop:abstract
|
- Barbara Liskov, (born Barbara Jane Huberman in 1939), is a computer scientist. She is currently the Ford Professor of Engineering in the MIT School of Engineering's Electrical Engineering and Computer Science department and an Institute Professor at the Massachusetts Institute of Technology. She earned her BA in mathematics at the University of California, Berkeley in 1961. In 1968 Stanford University made her the first woman in the United States to be awarded a Ph.D. from a computer science department. The topic of her Ph.D. thesis was a computer program to play chess end games. Liskov has led many significant projects, including the Venus operating system, a small, low-cost and interactive timesharing system; the design and implementation of CLU; Argus, the first high-level language to support implementation of distributed programs; and Thor, an object-oriented database system. With Jeannette Wing, she developed a particular definition of subtyping, commonly known as the Liskov substitution principle. She leads the Programming Methodology Group at MIT, with a current research focus in Byzantine fault tolerance and distributed computing. Liskov is a member of the National Academy of Engineering and a fellow of the American Academy of Arts and Sciences and of the Association for Computing Machinery (ACM). In 2004 she won the John von Neumann Medal for "fundamental contributions to programming languages, programming methodology, and distributed systems". She is the author of three books and over a hundred technical papers. Liskov received the 2008 Turing Award from the ACM for her work in the design of programming languages and software methodology that led to the development of object-oriented programming. Specifically, Liskov developed two programming languages, CLU in the 1970s and Argus in the 1980s. The ACM cited her contributions to the practical and theoretical foundations of "programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing."
- Barbara Liskov ist eine amerikanische Informatikerin. Sie ist als Professorin für Elektrotechnik und Informatik am MIT tätig. Ihren Bachelor in Mathematik erhielt sie 1961 an der University of California, Berkeley. 1968 erhielt sie an der Stanford University als erste Frau in den USA den Titel eines Ph.D. in Informatik, 2008 nach Frances E. Allen als zweite Frau den Turing Award. Barbara Liskov leitete zahlreiche bedeutende Projekte, darunter den Entwurf und die Implementierung der Programmiersprachen CLU und Argus sowie des objektorientierten Datenbankmanagementsystems Thor. Gemeinsam mit Jeannette Wing entwickelte sie das für die objektorientierte Programmierung bedeutsame Liskovsche Substitutionsprinzip. Liskov ist Mitglied der amerikanischen National Academy of Engineering sowie der American Academy of Arts and Sciences. 2004 erhielt sie die John-von-Neumann-Medaille für „fundamental contributions to programming languages, programming methodology, and distributed systems“ .
- Barbara Liskov nee Huberman, Ph.D. es una prominente científica de la computación. Actualmente está trabajando en el departamento de Ingeniería eléctrica y Ciencias de la computación del MIT, como profesora de ingeniería de Ford. Consiguió su graduación en Matemáticas en la Universidad de California, Berkeley en 1961 y años más tarde, en 1968, se convirtió en la primera mujer de los Estados Unidos en conseguir un Doctor Philosophiae en Ciencias de la computación por la Universidad de Stanford. Barbara Liskov ha dirigido varios proyectos significativos, como el diseño e implementación del lenguaje de programación CLU, el primer lenguaje de programación que soportaba la abstracción de datos, Argus, que fue el primer lenguaje de alto nivel en soportar la implementación de programas distribuidos y Thor, un sistema de base de datos orientado a objetos. Junto con Jeannette Wing, desarrolló una particular definición de subtipo, comúnmente conocido como el Principio de substitución de Liskov. La profesora Liskov es miembro de la Academia Nacional de Ingeniería (National Academy of Engineering) de los Estados Unidos. En 2004 ganó la Medalla John von Neumann por Su fundamental contribución a los lenguajes de programación, metodologías de programación y sistemas distribuidos. En 2008 ganó el premio Turing por "su contribución a los fundamentos teóricos y prácticos en el diseño de lenguajes de programación y sistemas, especialmente relacionados con la abstracción de datos, tolerancia a fallos y computación distribuida". Además, Liskov es autora de 3 libros y cientos de informes técnicos.
- Barbara Liskov née Huberman, née le 7 novembre 1939, est une éminente informaticienne. Barbara Liskov a mené de nombreux projets importants, parmi lesquels la conception et l'implémentation du langage CLU, le premier langage de programmation à supporter l'abstraction de données, Argus, le premier langage de haut niveau à supporter l'implémentation de programmes distribués, et Thor, un système de base de données orienté objet. Avec Jeannette Wing, elle développa une définition particulière du sous-typage, connue sous le nom de principe de substitution de Liskov. Barbara Liskov a reçu en 2004 la médaille John von Neumann de l'IEEE pour « ses contributions fondamentales aux langages de programmation, à la méthodologie de la programmation et aux systèmes distribués » et le Prix Turing en 2008.
- Attualmente è Ford Professor di Ingegneria nel dipartimento di Ingegneria elettronica ed Informatica al Massachusetts Institute of Technology. Nel 1961 ha conseguito il BA in Matematica nella University of California, Berkeley e, nel 1968, presso la Stanford University, è diventata la prima donna negli Stati Uniti a cui è stato conferito il PhD in Informatica. A quel tempo, la maggior parte delle Università non avevano dipartimenti di Informatica e l'Università di Stanford era molto selettiva nel conferire lauree. Barbara Liskov ha condotto molti progetti significativi, tra cui la progettazione e implementazione del CLU, il primo linguaggio di programmazione a supportare l'astrazione dei dati, Argus, il primo linguaggio di alto livello a supportare l'implementazione di programmi distribuiti, e Thor, un sistema di database orientato agli oggetti. Insieme a Jeannette Wing, ha sviluppato una particolare definizione di sottotipo, comunemente conosciuto come il Principio di sostituzione di Liskov. La professoressa Liskov è membro della National Academy of Engineering e della American Academy of Arts and Sciences. Nel 2004 ha vinto la John von Neumann Medal per i "contributi fondamentali ai linguaggi di programmazione, metodologia di programmazione e sistemi distribuiti". È autrice di tre libri e oltre un centinaio documenti tecnici.
- バーバラ・リスコフ（Barbara Liskov、1939年11月7日 - ）は著名な計算機科学者。MITの電気工学/計算機科学部門の工学教授を務めている。1961年、カリフォルニア大学バークレー校で数学の学士号を取得し、1968年、スタンフォード大学でアメリカ合衆国で女性として初の計算機科学の博士号を取得した。当時、計算機科学部門を有する大学は少なく、スタンフォードでも計算機科学の学位を取得する学生は非常に限られていた。 リスコフは数々の重要なプロジェクトを主導した。 CLU言語の設計と実装 - 世界初のデータ抽象化機能をサポートしたプログラミング言語 Argus 言語 - 世界初の分散プログラムをサポートした高級言語 Thor - オブジェクト指向データベースシステム また、Jeannette Wing と共にサブタイプという概念を定義し、現在ではリスコフの置換原則として知られている。MIT では Programming Methodology Group を率い、ビザンチン・フォールトトレラント性や分散コンピューティングを研究している。 リスコフは全米技術アカデミーの会員であり、アメリカ芸術科学アカデミーのフェローである。2004年、「プログラミング言語、プログラミング手法、分散システムの理論的貢献に対して」、フォン・ノイマンメダルを授与された。3冊の著書と百以上の論文を発表している。
- Barbara Liskov is een Amerikaans informaticus. Ze heeft bijdragen geleverd over het ontwerpen en implementeren van besturingssystemen en programmeertalen evenals gedistribueerde en fouttolerante systemen. Andere gebieden zijn het gebruik van abstractie en modulariteit in software. Ze is Institute Professor aan het Massachusetts Institute of Technology en Ford Professor of Engineering van het MIT Department of Electrical Engineering and Computer Science. Ze was de eerste vrouw die een Ph.D. ontving in de Verenigde Staten van een informatica-departement. Ze is de tweede vrouw aan wie de Turing Award is uitgereikt.
- Barbara Liskov nascida Barbara Jane Huberman em 1939 na cidade de Los Angeles, California) é uma renomada Cientista da Computação americana.
- Barbara Liskov (născută Barbara Jane Huberman în 1939) este o informaticiană americană, profesoară la MIT, unde deţine titlul de profesor de inginerie Ford, în cadrul departamentului de inginerie electrică şi informatică din cadrul Şcolii de Inginerie de la MIT. În 1968, la Universitatea Stanford, a devenit prima femeie din Statele Unite care a obţinut un doctorat în informatică. Liskov a condus numeroase proiecte, printre care implementarea CLU, un limbaj de programare în care a introdus prima tratare coerentă a tipurilor de date abstracte. Ideile implementate în CLU, ca şi în alte limbaje pe care le-a dezvoltat Liskov, stau la baza limbajelor de programare moderne, în special a celor orientate obiect. Limbajul Argus, a cărui dezvoltare a condus-o, a fost primul limbaj de programare cu suport pentru calculul distribuit. Într-un discurs de la o conferinţă, a introdus o nouă definiţie a noţiunii de subtip, denumită principiul de substituţie Liskov. Această definiţie a fost enunţată într-o lucrare ulterioară sub forma: Fie <math>q(x)</math> o proprietate demonstrabilă a obiectelor <math>x</math> de tipul <math>T</math>. Atunci <math>q(y)</math> trebuie să fie adevărată pentru obiectele <math>y</math> de tipul <math>S</math> unde <math>S</math> este un subtip al lui <math>T</math>. Barbara Liskov a primit Premiul Turing de la ACM pe anul 2008, pentru „contribuţiile aduse la baza teoretică şi practică a proiectării limbajelor de programare şi sistemelor, în special cele legate de abstracţia datelor, toleranţa la defecte şi calculul distribuit. ”
- Барбара Лисков (англ. Barbara Liskov, род. Барбара Джейн Хабермен, Barbara Jane Huberman 7 ноября 1939 год) — учёная в области теории вычислительных систем, лауреат премии Тьюринга 2008 года.
- 芭芭拉·利斯科夫（Barbara Liskov，1939年－—），本名Barbara Jane Huberman。美国计算机科学家，2008年图灵奖得主，2004年约翰·冯诺依曼奖得主。美国工程院院士，美国艺术与科学院院士，美国计算机协会会士。现任麻省理工学院电子电气与计算机科学系教授。 1961年在加州大学伯克利分校获得数学学士学位。1968年在斯坦福大学获得博士学位，她是美国第一个计算机科学女博士。导师为1971年图灵奖得主约翰·麦卡锡，论文题目是国际象棋残局程序。 利斯科夫领导了许多重要的项目，包括小型低成本交互式的分时操作系统Venus，第一个支持数据抽象的面向对象编程语言CLU的设计与实现，第一个支持分布式程序实现的高级语言Argus，面向对象数据库系统Thor，还有最近的Byzantine分布式容错系统。其中，CLU语言对现代主流语言如C++/Java/Python/Ruby/C#都有比较深远的影响。而她从这些实际项目中提炼出来的数据抽象思想，已经成为软件工程中最重要的精髓之一。 她另外一个在程序设计中有广泛应用的成就，是与周以真（Jeannette Wing）一起提出的Liskov代換原則，是面向对象最重要的几大原则之一。
|
| rdfs:comment
|
- Barbara Liskov, (born Barbara Jane Huberman in 1939), is a computer scientist. She is currently the Ford Professor of Engineering in the MIT School of Engineering's Electrical Engineering and Computer Science department and an Institute Professor at the Massachusetts Institute of Technology. She earned her BA in mathematics at the University of California, Berkeley in 1961. In 1968 Stanford University made her the first woman in the United States to be awarded a Ph.D.
- Barbara Liskov ist eine amerikanische Informatikerin. Sie ist als Professorin für Elektrotechnik und Informatik am MIT tätig. Ihren Bachelor in Mathematik erhielt sie 1961 an der University of California, Berkeley. 1968 erhielt sie an der Stanford University als erste Frau in den USA den Titel eines Ph.D. in Informatik, 2008 nach Frances E. Allen als zweite Frau den Turing Award.
- Barbara Liskov nee Huberman, Ph.D. es una prominente científica de la computación. Actualmente está trabajando en el departamento de Ingeniería eléctrica y Ciencias de la computación del MIT, como profesora de ingeniería de Ford.
- Barbara Liskov née Huberman, née le 7 novembre 1939, est une éminente informaticienne. Barbara Liskov a mené de nombreux projets importants, parmi lesquels la conception et l'implémentation du langage CLU, le premier langage de programmation à supporter l'abstraction de données, Argus, le premier langage de haut niveau à supporter l'implémentation de programmes distribués, et Thor, un système de base de données orienté objet.
- Attualmente è Ford Professor di Ingegneria nel dipartimento di Ingegneria elettronica ed Informatica al Massachusetts Institute of Technology. Nel 1961 ha conseguito il BA in Matematica nella University of California, Berkeley e, nel 1968, presso la Stanford University, è diventata la prima donna negli Stati Uniti a cui è stato conferito il PhD in Informatica.
- Barbara Liskov is een Amerikaans informaticus. Ze heeft bijdragen geleverd over het ontwerpen en implementeren van besturingssystemen en programmeertalen evenals gedistribueerde en fouttolerante systemen. Andere gebieden zijn het gebruik van abstractie en modulariteit in software. Ze is Institute Professor aan het Massachusetts Institute of Technology en Ford Professor of Engineering van het MIT Department of Electrical Engineering and Computer Science. Ze was de eerste vrouw die een Ph.D.
- Barbara Liskov nascida Barbara Jane Huberman em 1939 na cidade de Los Angeles, California) é uma renomada Cientista da Computação americana.
- Barbara Liskov (născută Barbara Jane Huberman în 1939) este o informaticiană americană, profesoară la MIT, unde deţine titlul de profesor de inginerie Ford, în cadrul departamentului de inginerie electrică şi informatică din cadrul Şcolii de Inginerie de la MIT. În 1968, la Universitatea Stanford, a devenit prima femeie din Statele Unite care a obţinut un doctorat în informatică.
- Барбара Лисков (англ. Barbara Liskov, род. Барбара Джейн Хабермен, Barbara Jane Huberman 7 ноября 1939 год) — учёная в области теории вычислительных систем, лауреат премии Тьюринга 2008 года.
|
![[RDF Data]](/statics/sw-cube.png)
