Barbara Liskov- Barbara Liskov

Barbara Liskov
Barbara Liskov MIT Informatikerin 2010.jpg
Liskov im Jahr 2010.
Geboren
Barbara Jane Huberman

( 1939-11-07 )7. November 1939 (81 Jahre)
Alma Mater
Bekannt für
Ehepartner Nathan Liskov (1970–)
Kinder 1
Auszeichnungen
Wissenschaftlicher Werdegang
Felder Informatik
Institutionen Massachusetts Institute of Technology
These Ein Programm zum Spielen von Schachendspielen  (1968)
Doktoratsberater John McCarthy
Doktoranden Maurice Herlihy , J. Eliot Moss , Sanjay Ghemawat

Barbara Liskov (* 7. November 1939 als Barbara Jane Huberman ) ist eine US-amerikanische Informatikerin, die eine Institutsprofessorin am Massachusetts Institute of Technology und Ford Professor of Engineering in der Abteilung für Elektrotechnik und Informatik der School of Engineering ist .

Sie ist die erste Frau, die in den USA in Informatik promoviert hat und ist eine Turing- Preisträgerin, die das Liskov-Substitutionsprinzip entwickelt hat .

Frühes Leben und Ausbildung

Liskov wurde am 7. November 1939 in Los Angeles , Kalifornien , in einer jüdischen Familie als ältestes von Jane (geb. Dickhoff) und Moses Hubermans vier Kindern geboren. Sie erwarb 1961 ihren BA in Mathematik mit Nebenfach Physik an der University of California, Berkeley . In ihrem Unterricht hatte sie eine weitere Mitschülerin, der Rest war männlich. Nach ihrem Abschluss bewarb sie sich für ein Mathematikstudium in Berkeley und Princeton . Zu dieser Zeit akzeptierte Princeton keine Studentinnen in Mathematik. Sie wurde in Berkeley angenommen, aber anstatt zu studieren zog sie nach Boston und begann bei der Mitre Corporation zu arbeiten . Dort interessierte sie sich für Computer und Programmierung. Sie arbeitete ein Jahr bei Mitre, bevor sie einen Programmierjob in Harvard annahm, wo sie an Sprachübersetzungen arbeitete.

Sie entschied sich dann, wieder zur Schule zu gehen und bewarb sich erneut in Berkeley, aber auch in Stanford und Harvard. 1968 erhielt sie als eine der ersten Frauen in den Vereinigten Staaten einen Ph.D. von einer Fakultät für Informatik, als sie ihren Abschluss an der Stanford University machte . In Stanford arbeitete sie mit John McCarthy zusammen und wurde unterstützt, im Bereich der künstlichen Intelligenz zu arbeiten . Das Thema ihres Ph.D. Diplomarbeit war ein Computerprogramm zum Spielen von Schachendspielen, für das sie die wichtige Killer-Heuristik entwickelt hat .

Karriere

Nach seinem Abschluss in Stanford kehrte Liskov nach Mitre zurück, um als Forschungspersonal zu arbeiten.

Liskov hat viele bedeutende Projekte geleitet, darunter das Betriebssystem Venus, ein kleines, kostengünstiges Timesharing- System; das Design und die Implementierung von CLU ; Argus , die erste Hochsprache, die die Implementierung verteilter Programme unterstützt und die Technik des Promise-Pipelining demonstriert ; und Thor, ein objektorientiertes Datenbanksystem . Zusammen mit Jeannette Wing entwickelte sie eine spezielle Definition der Subtypisierung , allgemein bekannt als das Liskov-Substitutionsprinzip . Sie leitet die Programming Methodology Group am MIT mit einem aktuellen Forschungsschwerpunkt in byzantinischer Fehlertoleranz und verteiltem Rechnen . 2009 war sie Mitglied der ersten Jury für Ingenieurwissenschaften und Informatik für den Infosys-Preis .

Anerkennung und Auszeichnungen

Liskov ist Mitglied der National Academy of Engineering , der National Academy of Sciences und Fellow der American Academy of Arts and Sciences und der Association for Computing Machinery (ACM). Im Jahr 2002 wurde sie als eine der besten weiblichen Fakultätsmitglieder am MIT und unter den 50 besten Fakultätsmitgliedern in den Wissenschaften in den USA ausgezeichnet. Im Jahr 2002 wurde Liskov vom Discover Magazine als eine der 50 wichtigsten Frauen in der Wissenschaft ausgezeichnet.

2004 gewann Barbara Liskov die John-von-Neumann-Medaille für „fundamentale Beiträge zu Programmiersprachen, Programmiermethodik und verteilten Systemen “. Am 19. November 2005 wurden Barbara Liskov und Donald E. Knuth die Ehrendoktorwürden der ETH verliehen . Liskov und Knuth wurden auch in der ETH Zürich Distinguished Colloquium Series vorgestellt. 2011 wurde ihr die Ehrendoktorwürde der Universität Lugano und 2018 der Universidad Politécnica de Madrid verliehen.

Liskov erhielt im März 2009 den Turing Award 2008 des ACM für ihre Arbeit im Design von Programmiersprachen und Software-Methodik, die zur Entwicklung der objektorientierten Programmierung führte . Insbesondere entwickelte Liskov zwei Programmiersprachen, CLU in den 1970er Jahren und Argus in den 1980er Jahren. Die ACM zitierte ihre Beiträge zu den praktischen und theoretischen Grundlagen des "Programmiersprachen- und Systemdesigns , insbesondere in Bezug auf Datenabstraktion , Fehlertoleranz und verteiltes Rechnen ". 2012 wurde sie in die National Inventors Hall of Fame aufgenommen .

Barbara Liskov ist Autorin von drei Büchern und über hundert Fachartikeln.

Persönliches Leben

1970 heiratete sie Nathan Liskov. Sie haben einen Sohn, Moses, der 2004 am MIT in Informatik promovierte und am College of William and Mary Informatik lehrte .

Siehe auch

Verweise

Externe Links