Barbara liskov

Barbara liskov Beskrivelse av dette bildet, også kommentert nedenfor Barbara liskov Nøkkeldata
Fødselsnavn Barbara Jane Huberman
Fødsel 7. november 1939
Los Angeles ( USA )
Nasjonalitet amerikansk
Områder informatikk
Utmerkelser John von Neumann Meduring
Turing Prize

Barbara Liskov f. Huberman (født den7. november 1939i Los Angeles ) er en amerikansk informatiker .

Barbara Liskov ledet mange viktige prosjekter, inkludert design og implementering av språket CLU , det første programmeringsspråket som støttet dataabstrahering , Argus  (in) , det første språket på høyt nivå som støttet implementeringsdistribuerte programmer, og Thor , et objekt- orientert databasesystem . Med Jeannette Wing utviklet hun en bestemt definisjon av undertyping , kjent som Liskovs substitusjonsprinsipp .

Barbara Liskov mottok i 2004 den John von Neumann medalje for "hans grunnleggende bidrag til programmeringsspråk, metoder for programmering og distribuerte systemer" og Turing Award i 2008 .

Biografi og karriere

Barbara Jane Huberman ble født i California i 1939; hun er den eldste av fire barn til Jane (født Dickhoff) og Moses Huberman. Hun studerte ved University of California i Berkeley , hvor hun ble uteksaminert i 1961 med sin Bachelor of Arts Mathematics-grad . Hun søkte om doktorgrad i matematikk fra universitetene i Berkeley og Princetown, selv om Princeton ikke aksepterte kvinner på dette tidspunktet. Hun ble akseptert på Berkeley, men endret til slutt alternativer, og gikk på jobb et år på MITRE i Boston, hvor hun begynte å gjøre programmering. Hun kom deretter til Harvard hvor hun jobbet, fremdeles som programmerer, med oversettelse av språk. Hun bestemmer seg deretter for å gjenoppta studiene. Akseptert i Stanford, jobbet hun med John McCarthy om kunstig intelligens . I 1968 ble hun en av de første amerikanerne som fikk doktorgrad i informatikk fra Stanford University. Hennes doktorgradsoppgave var endgame programmering i sjakk.

Hun giftet seg med Nathan Liskov i 1970 , og sønnen deres Moses Liskov ble født i 1975.

Barbara Liskov har ledet mange prosjekter, som Venus- operativsystemet , utforming og implementering av CLU- språket  ; Argus , det første språket på høyt nivå som støttet implementeringen av distribuerte programmer og ment å demonstrere den tekniske lovede rørledningen ( løfter om pakkebehandling ); og Thor-systemet, en objektorientert database.

Med Jeannette Wing utviklet hun en bestemt definisjon av undertyping, ofte kjent som Liskovs substitusjonsprinsipp .

Hun leder programmeringsmetodikkgruppen ved MIT , med vekt på toleranse for bysantinske feil og distribuert databehandling .

Bøker

Utmerkelser

Referanser

  1. "  IEEE John von Neumann Medal Mottakere  " , IEEE (åpnet 15. mars 2010 )
  2. i http://www.legacy.com/obituaries/sfgate/obituary.aspx?n=jane-siegel&pid=13882738
  3. i "  Barbara Liskov - Engineergirl  " (åpnet 6. september 2007 ) Profil fra National Academies of Engineering.
  4. "  UW-Madison Computer Science Ph.Ds Awarded, May 1965 - August 1970  " (åpnet 8. november 2010 ) PhDer bevilget ved UW-Madison Computer Sciences Department.
  5. (en) http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=AD0673971
  6. (in) "  Honorary Degrees  " på Brown University (åpnet 22. oktober 2020 )

Eksterne linker