Barbara Liskov

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare
Barbara Liskov

Barbara Liskov , născută Huberman, Ph.D. ( 7 noiembrie 1939 ), este o informaticiană americană .

În prezent, este profesor Ford de inginerie la Departamentul de Electronică și Inginerie Calculatoare de la Institutul de Tehnologie din Massachusetts .

Biografie

În 1961 el a primit sa Bachelor of Arts (BA) în matematică de la Universitatea din California, Berkeley , și în 1968 , de la Universitatea Stanford , ea a devenit prima femeie din Statele Unite , care a fost atribuit un doctorat ( PhD ) în Informatică [ Citație necesară ], cu o teză intitulată „Un program pentru a juca sfârșitul șahului”. La acea vreme, majoritatea universităților nu aveau departamente de informatică, iar Universitatea Stanford era foarte selectivă în acordarea diplomelor.

Barbara Liskov a condus numeroase proiecte semnificative, inclusiv proiectarea și implementarea CLU , primul limbaj de programare care oferă mecanisme pentru definirea tipurilor de date abstracte , Argus , primul limbaj la nivel înalt care sprijină implementarea programelor distribuite și Thor , un obiect -sistem de baze de date orientat . Împreună cu Jeannette Wing , el a dezvoltat o definiție specială de subtip , cunoscută în mod obișnuit ca Principiul de substituție Liskov .

Profesorul Liskov este membru al Academiei Naționale de Inginerie și al Academiei Americane de Arte și Științe . Este autoarea a trei cărți și a peste o sută de documente tehnice.

Mulțumiri

  • În 2004 a câștigat medalia John von Neumann pentru „Contribuții fundamentale la limbaje de programare, metodologie de programare și sisteme distribuite”.
  • În 2008 a câștigat prestigiosul premiu Turing pentru contribuția la dezvoltarea limbajelor de programare și a proiectării sistemelor, în special în domeniile abstractizării datelor, toleranței la erori și algoritmilor de calcul distribuit.

Alte proiecte

linkuri externe

Controlul autorității VIAF (EN) 44,337,197 · ISNI (EN) 0000 0001 1760 5450 · LCCN (EN) n81090977 · GND (DE) 1069447846 · BNF (FR) cb12156314m (data) · WorldCat Identities (EN) lccn-n81090977