Barbara Liskov

Barbara Liskov Beschreibung dieses Bildes, auch unten kommentiert Barbara Liskov Schlüsseldaten
Geburtsname Barbara Jane Huberman
Geburt 7. November 1939
Los Angeles ( USA )
Staatsangehörigkeit amerikanisch
Bereiche Informatik
Auszeichnungen John von Neumann Medaille
Turing Preis

Barbara Liskov geb. Huberman (geb. am7. November 1939in Los Angeles ) ist ein amerikanischer Informatiker .

Barbara Liskov leitete viele wichtige Projekte, darunter das Design und die Implementierung der Sprache CLU , der ersten Programmiersprache , die die Datenabstraktion unterstützt , Argus  (in) , der ersten Hochsprache, die verteilte Programme zur Implementierung unterstützt, und Thor , ein Objekt. orientiertes Datenbanksystem . Mit Jeannette Wing entwickelte sie eine spezielle Definition der Subtypisierung , die als Liskovs Substitutionsprinzip bekannt ist .

Barbara Liskov erhielt in 2004 die John von Neumann - Medaille für „seine grundlegenden Beiträge zur Programmiersprachen, Methodik der Programmierung und verteilte Systeme“ und den Turing Award in 2008 .

Biografie und Karriere

Barbara Jane Huberman wurde 1939 in Kalifornien geboren. Sie ist das älteste von vier Kindern von Jane (geb. Dickhoff) und Moses Huberman. Sie studierte an der University of California in Berkeley , wo sie 1961 ihren Bachelor of Arts Mathematics abschloss . Sie bewarb sich um eine Promotion in Mathematik an den Universitäten von Berkeley und Princetown, obwohl Princeton zu diesem Zeitpunkt keine Frauen akzeptierte. Sie wurde in Berkeley aufgenommen, wechselte aber schließlich die Optionen und arbeitete ein Jahr lang bei MITRE in Boston, wo sie anfing zu programmieren. Anschließend wechselte sie zu Harvard, wo sie noch als Programmiererin an der Übersetzung von Sprachen arbeitete. Sie beschließt dann, ihr Studium fortzusetzen. In Stanford aufgenommen, arbeitete sie mit John McCarthy an künstlicher Intelligenz . 1968 promovierte sie als eine der ersten Amerikanerinnen in Informatik an der Stanford University. Ihr Doktorarbeitsthema war Endgame-Programmierung im Schach.

Sie heiratete 1970 Nathan Liskov und ihr Sohn Moses Liskov wurde 1975 geboren.

Barbara Liskov hat viele Projekte geleitet, darunter das Venus- Betriebssystem , das Design und die Implementierung der CLU- Sprache  . Argus , die erste Hochsprache , die die Implementierung verteilter Programme unterstützt und das technisch versprochene Pipelining ( Versprechen zur Paketverarbeitung ) demonstrieren soll ; und das Thor-System, eine objektorientierte Datenbank.

Mit Jeannette Wing entwickelte sie eine spezielle Definition der Subtypisierung, die allgemein als Liskovs Substitutionsprinzip bekannt ist .

Sie leitet die Gruppe für Programmiermethoden am MIT mit Schwerpunkt auf der Toleranz gegenüber byzantinischen Fehlern und dem verteilten Rechnen .

Bücher

Auszeichnungen

Verweise

  1. "  IEEE John von Neumann-Medaillenempfänger  " , IEEE (abgerufen am 15. März 2010 )
  2. in http://www.legacy.com/obituaries/sfgate/obituary.aspx?n=jane-siegel&pid=13882738
  3. in "  Barbara Liskov - Engineergirl  " (abgerufen am 6. September 2007 ) Profil der National Academies of Engineering.
  4. "  Promotion in UW-Madison-Informatik , Mai 1965 - August 1970  " (abgerufen am 8. November 2010 ) Promotion am UW-Madison-Institut für Informatik.
  5. (de) http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=AD0673971
  6. (in) "  Honorary Degrees  " an der Brown University (abgerufen am 22. Oktober 2020 )

Externe Links