| Naissance | |
|---|---|
| Nom de naissance | Barbara Jane Huberman |
| Nationalité | |
| Formation | |
| Activités | |
| Conjoint | Nathan Liskov (1970–) |
| A travaillé pour | |
|---|---|
| Membre de | |
| Maître | |
| Directeur de thèse | |
| Site web | |
| Distinction | |
| Archives conservées par |
Barbara Liskov née Huberman (née le àLos Angeles) est uneinformaticienneaméricaine.
Barbara Liskov dirige de nombreux projets importants, parmi lesquels la conception et l'implémentation du langageCLU, le premierlangage de programmation à supporter l'abstraction de donnéesArgus, le premierlangage de haut niveau à supporter l'implémentation de programmes distribués, etThor, un système debase de donnéesorienté objet. AvecJeannette Wing, elle développe une définition particulière dusous-typage, connue sous le nom deprincipe de substitution de Liskov.
Barbara Liskov reçoit en2004 lamédaille John von Neumann[2] pour « ses contributions fondamentales aux langages de programmation, à la méthodologie de la programmation et aux systèmes distribués » et lePrix Turing en2008.
Barbara Jane Huberman est née enCalifornie en 1939 ; elle est l'aînée des quatre enfants de Jane (née Dickhoff) et Moses Huberman[3]. Elle étudie à l'université de Californie à Berkeley, où elle obtient en 1961 son diplôme de mathématiquesBachelor of Arts. Elle postule pour un doctorat en mathématiques auprès des universités de Berkeley et Princetown, bien que Princeton n'accepte pas les femmes à cette époque. Elle est acceptée à Berkeley, mais finalement, elle change d'option, et part travailler pendant une année chezMITRE à 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 avecJohn 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[4],[5] Son sujet de thèse de doctorat est la programmation des fins de partie au jeu d'échecs[6].
Elle épouse en 1970Nathan Liskov, et leur fils Moses Liskov nait en 1975.
Barbara Liskov conduit de nombreux projets, comme lesystème d’exploitation Vénus, la conception et la mise en œuvre du langageCLU ;Argus, le premierlangage de haut niveau à supporter la mise en œuvre de programmes distribués et destiné à démontrer la technique depromise pipelining (traitement par paquets depromesses) ; et le système Thor,base de données orientée objet.
AvecJeannette Wing, elle développe une définition particulière de sous-typage, communément connue comme leprincipe de substitution de Liskov. Elle dirige le groupe de méthodologie de programmation auMIT, avec un accent porté sur latolérance auxpannes byzantines et sur lecalcul distribué.
: :
