Barbara Liskov

Barbara Liskov
Barbara Liskov.
Biographie
Naissance
Nom de naissance
Barbara Jane Huberman
Nationalité
Formation
Activités
Conjoint
Nathan Liskov (1970–)
Enfant
Moses Daniel Liskov (d)
Autres informations
A travaillé pour
Membre de
Maître
Directeur de thèse
Site web
Distinction
Œuvres principales

Barbara Liskov née Huberman (née le à Los Angeles) est une informaticienne américaine.

Barbara Liskov dirige 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éveloppe une définition particulière du sous-typage, connue sous le nom de principe de substitution de Liskov.

Barbara Liskov reçoit en 2004 la médaille John von Neumann[1] 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.

Biographie et carrière

Barbara Jane Huberman est née en Californie en 1939 ; elle est l'aînée des quatre enfants de Jane (née Dickhoff) et Moses Huberman[2]. Elle étudie à l'université de Californie à Berkeley, où elle obtient en 1961 son Bachelor of Arts de mathématiques. Elle postule pour un doctorat en mathématiques auprès des universités de Berkeley et Princeton, bien que Princeton n'accepte pas les femmes à cette époque. Elle est acceptée à Berkeley, mais change finalement d'option et part travailler pendant une année chez MITRE à Boston, où elle commence à faire de la programmation. Elle rejoint ensuite Harvard où elle exerce, toujours en tant que programmatrice, sur la traduction de langages. Elle décide ensuite de reprendre ses études. Acceptée à Stanford, elle travaille avec John McCarthy sur l'intelligence artificielle. En 1968, elle devient l'une des premières américaines à recevoir un doctorat d'informatique délivré par l'Université Stanford[3],[4] Son sujet de thèse de doctorat est la programmation des fins de partie au jeu d'échecs[5].

Elle épouse en 1970 Nathan Liskov, et leur fils Moses Liskov nait en 1975.

Barbara Liskov conduit de nombreux projets, comme le système d’exploitation Vénus, la conception et la mise en œuvre du langage CLU ; Argus, le premier langage de haut niveau à supporter la mise en œuvre de programmes distribués et destiné à démontrer la technique de promise pipelining (traitement par paquets de promesses) ; et le système Thor, base de données orientée objet.

Avec Jeannette Wing, elle développe une définition particulière de sous-typage, communément connue comme le principe de substitution de Liskov. Elle dirige le groupe de méthodologie de programmation au MIT, avec un accent porté sur la tolérance aux pannes byzantines et sur le calcul distribué.

Livres

  • Barbara Liskov et John V. Guttag, La maîtrise du développement du logiciel : abstraction et spécification, Paris, Les éditions d'Organisation, 1990, 614 p. (ISBN 2-7081-0904-9)

Distinctions

Références

  1. ↑ « IEEE John von Neumann Medal Recipients », IEEE (consulté le )
  2. ↑ (en) San Francisco Chronicle, « Jane Siegel Obituary », (consulté le )
  3. ↑ (en) « Barbara Liskov -- Engineergirl », sur archive.org pour Engineergirl.org (consulté le ) Profile from the National Academies of Engineering.
  4. ↑ (en) « UW-Madison Computer Science Ph.D.s Awarded, May 1965 - August 1970 » (consulté le ) PhDs granted at UW-Madison Computer Sciences Department.
  5. ↑ (en) Barbara J. Huberman, A program to play chess end games, Stanford University Department of Computer Science, (lire en ligne)
  6. ↑ (en) « Honorary Degrees », sur Université Brown (consulté le )

Voir aussi

Bibliographie

  • (en) Ilene Busch-Vishniac, Lauren Busch et Jill Tietjen, chap. 43 « Barbara Liskov », dans Women in the National Inventors Hall of Fame: The First 50 Years, Springer Nature, , 383-390 p. (ISBN 9783031755255, lire en ligne)

Liens externes

  • icône décorative Portail de l’informatique
  • icône décorative Portail des États-Unis
Cet article est issu de Wikipédia. Sauf mention contraire, le texte est disponible sous Creative Commons Attribution-Share Alike 4.0. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.