Barbara Liskov
Le Barbara Liskov (Barbara née Huberman, 1939 ), est un informaticien en avant. Elle est actuellement le professeur de Ford de la technologie dans l'électrotechnique et du département de l'informatique du au massachusetts. Elle lui a gagné le BA dans les mathématiques à l'Université de Californie de , Berkeley dans le 1961 , et est devenue le premier femme dans le Etats-Unis pour attribuer un PhD d'un département de l'informatique, dans le 1968 de l'Université de Stanford .
Barbara Liskov a mené beaucoup de projets significatifs, y compris la conception et l'exécution du CLU , le premier langage de programmation pour soutenir l'abstraction de données ; Argus , le premier langage de haut niveau évolué pour soutenir l'exécution des programmes distribués ; et Thor , un système orienté objectivement de de la base de données du . Avec l'aile de Jeannette de , elle a développé une définition particulière de subtyping , généralement connue sous le nom de principe de substitution de Liskov de . Elle mène le groupe de méthodologie de programmation de au MIT , avec un foyer courant de recherches dans la tolérance de fautes bizantine et l'informatique répartie .
Professeur Liskov est un membre de l'académie de de la technologie nationale et d'un camarade de l'académie américaine de des arts et des sciences et de l'association de pour le matériel de calcul . Dans le 2004 elle a gagné la médaille de John Von Neumann de pour le " ; contributions fondamentales aux langages de programmation, à la méthodologie de programmation, et au systems." distribué ; Elle est l'auteur de trois livres et au-dessus de cent exposés techniques.
Voir également
Femmes de en calculant Principe de substitution de Liskov de
.
| Random links: | Banlieue noire fausse de ruisseau, Minnesota | Eriador | Laurent Clerc | Instituto Oswaldo Cruz | Barbara_Liskov |