Barbara Liskov



Kaikki tieto, jota ihmiset ovat vuosisatojen aikana keränneet Barbara Liskov:stä, on nyt saatavilla internetissä, ja me olemme koonneet ja järjestäneet sen sinulle mahdollisimman helposti saatavilla olevalla tavalla. Haluamme, että saat kaiken haluamasi tiedon Barbara Liskov:stä nopeasti ja tehokkaasti, että kokemuksesi on miellyttävä ja että tunnet todella löytäneesi etsimäsi tiedot Barbara Liskov:stä.

Tavoitteidemme saavuttamiseksi olemme pyrkineet paitsi hankkimaan mahdollisimman ajantasaista, ymmärrettävää ja totuudenmukaista tietoa Barbara Liskov:stä, myös varmistamaan, että sivun ulkoasu, luettavuus, latausnopeus ja käytettävyys ovat mahdollisimman miellyttäviä, jotta voit keskittyä olennaiseen, tietäen kaikki Barbara Liskov:stä saatavilla olevat tiedot, ilman että sinun tarvitsee huolehtia mistään muusta, olemme jo huolehtineet siitä puolestasi. Toivomme, että olemme saavuttaneet tavoitteemme ja että olet löytänyt haluamasi tiedot Barbara Liskov:stä. Joten toivotamme sinut tervetulleeksi ja kannustamme sinua jatkamaan scientiafi.com:n käyttökokemuksen nauttimista.

Barbara Liskov
Barbara Liskov MIT atk -tutkija 2010.jpg
Liskov vuonna 2010.
Syntynyt
Barbara Jane Huberman

( 1939-11-07 )7. marraskuuta 1939
Alma mater
Tunnettu
Puoliso (t) Nathan Liskov (1970)
Lapset 1
Palkinnot
Tieteellinen ura
Kentät Tietokone Tiede
Toimielimet Massachusettsin Teknologian Instituutti
Väitöskirja Ohjelma pelata shakkipelejä  (1968)
Tohtorin neuvonantaja John McCarthy
Tohtorikoulutettavat Maurice Herlihy , J. Eliot Moss , Sanjay Ghemawat

Barbara Liskov (syntynyt 07 marraskuu 1939 kuten Barbara Jane Huberman ) on amerikkalainen tietojenkäsittelytieteessä joka on instituutin professori on Massachusetts Institute of Technology ja Ford professori Engineering sen Insinööritieteiden n sähkötekniikan ja tietojenkäsittelyopin osasto.

Hän on ensimmäinen nainen, jolle on myönnetty tietojenkäsittelytieteen tohtori Yhdysvalloissa, ja hän on Turing -palkinnon voittaja, joka kehitti Liskovin korvausperiaatteen .

Varhainen elämä ja koulutus

Liskov syntyi 07 marraskuu 1939, vuonna Los Angeles , Kalifornia , juutalaiseen perheeseen, vanhin Jane (os Dickhoff) ja Mooses Huberman neljä lasta. Hän suoritti matematiikan kandidaatin tutkinnon fysiikan sivuaineella Kalifornian yliopistossa Berkeleyssä vuonna 1961. Hänen luokissaan hänellä oli toinen naispuolinen luokkatoveri, loput olivat miehiä. Valmistuttuaan hän haki matematiikan jatko -ohjelmia Berkeleyssä ja Princetonissa . Tuolloin Princeton ei hyväksynyt naisopiskelijoita matematiikkaan. Hänet hyväksyttiin Berkeleyssä, mutta opiskelun sijasta hän muutti Bostoniin ja aloitti työskentelyn Mitre Corporationissa . Siellä hän kiinnostui tietokoneista ja ohjelmoinnista. Hän työskenteli Mitrassa vuoden ajan ennen ohjelmointityötä Harvardissa, jossa hän työskenteli kielen kääntämisen parissa.

Sitten hän päätti palata kouluun ja haki uudelleen Berkeleyyn, mutta myös Stanfordiin ja Harvardiin. Vuonna 1968 hänestä tuli yksi ensimmäisistä naisista Yhdysvalloissa, joka sai tohtorin arvon. tietojenkäsittelytieteen osastolta, kun hänelle myönnettiin tutkinto Stanfordin yliopistosta . Stanfordissa hän työskenteli John McCarthyn kanssa ja häntä tuettiin työskentelemään tekoälyn parissa . Hänen tohtorin aihe. Opinnäytetyö oli tietokoneohjelma shakin loppupelien pelaamiseen, ja hän kehitti tärkeän tappajaheuristiikan .

Ura

Valmistuttuaan Stanfordista Liskov palasi Mitreen työskentelemään tutkimushenkilöstönä.

Liskov on johtanut monia merkittäviä projekteja, mukaan lukien Venus-käyttöjärjestelmä, pieni, edullinen aikajakojärjestelmä ; CLU: n suunnittelu ja toteutus ; Argus , ensimmäinen korkean tason kieli, joka tukee hajautettujen ohjelmien toteuttamista ja esittelee lupausten liittämisen tekniikan ; ja Thor, olio-pohjainen tietokantajärjestelmä . Kanssa Jeannette Wing , hän kehitti erityinen määritelmä alatyypitys , jota kutsutaan yleisesti Liskov korvaamisperiaate . Hän johtaa MIT: n ohjelmointimenetelmäryhmää , jonka nykyinen tutkimus keskittyy Bysantin vikasietoisuuteen ja hajautettuun tietojenkäsittelyyn . Hän oli Infosys -palkinnon aloittaneessa tekniikan ja tietojenkäsittelytieteen tuomaristossa vuonna 2009.

Tunnustus ja palkinnot

Liskov on kansallisen teknillisen akatemian , kansallisen tiedeakatemian jäsen ja American Academy of Arts and Sciencesin ja Computing Machinery Associationin (ACM) jäsen. Vuonna 2002 hänet tunnustettiin yhdeksi MIT: n parhaista naisten tiedekunnan jäsenistä ja Yhdysvaltojen 50 parhaan tiedekunnan jäsenen joukkoon. Vuonna 2002 Discover -lehti tunnisti Liskovin 50 tieteen tärkeimmän naisen joukkoon.

Vuonna 2004 Barbara Liskov voitti John von Neumannin mitalin "perustavanlaatuisesta panoksesta ohjelmointikielille, ohjelmointimenetelmille ja hajautetuille järjestelmille ". 19. marraskuuta 2005 Barbara Liskov ja Donald E. Knuth saivat ETH: n kunniatohtorin arvon. Liskov ja Knuth esiteltiin myös ETH Zürich Distinguished Colloquium -sarjassa. Hän sai tohtorin kunniatohtori jonka Luganon yliopisto vuonna 2011 ja Universidad Politécnica de Madrid vuonna 2018.

Liskov sai ACM: ltä vuoden 2008 Turing-palkinnon maaliskuussa 2009 työstään ohjelmointikielten suunnittelussa ja ohjelmistomenetelmissä, jotka johtivat olio-ohjelmoinnin kehittämiseen . Liskov kehitti kaksi ohjelmointikieltä, CLU 1970 -luvulla ja Argus 1980 -luvulla. ACM viittasi hänen panokseensa "ohjelmointikielen ja järjestelmän suunnittelun käytännön ja teoreettisiin perusteisiin , erityisesti liittyen tietojen keräämiseen , vikasietoisuuteen ja hajautettuun tietojenkäsittelyyn ". Vuonna 2012 hänet valittiin National Inventors Hall of Fameen .

Barbara Liskov on kirjoittanut kolme kirjaa ja yli sata teknistä artikkelia.

Henkilökohtainen elämä

Vuonna 1970 hän meni naimisiin Nathan Liskovin kanssa. Heillä on yksi poika, Moses, joka valmistui tietojenkäsittelytieteen tohtoriksi MIT: stä vuonna 2004 ja opetti tietojenkäsittelytieteen opiskelua William and Maryn yliopistossa .

Katso myös

Viitteet

Ulkoiset linkit

Opiniones de nuestros usuarios

Petra Koivula

Joskus, kun etsit internetistä tietoa jostakin asiasta, löydät artikkeleita, jotka ovat liian pitkiä ja joissa puhutaan asioista, jotka eivät kiinnosta sinua. Pidin tästä Barbara Liskov koskevasta artikkelista, koska se on ytimekäs ja puhuu juuri siitä, mitä haluan, eksymättä turhaan informaatioon., Se on hyvä artikkeli Barbara Liskov., Se on hyvä artikkeli Barbara Liskov

Aila Nuutinen

Erittäin mielenkiintoinen tämä merkintä Barbara Liskov., Luulin jo tietäväni kaiken Barbara Liskov., Erittäin mielenkiintoinen tämä merkintä Barbara Liskov

Sergei Halme

Suuri löytö tämä artikkeli _muuttuja ja koko sivu. Se menee suoraan suosikkeihin., Hieno löytö tämä artikkeli _muuttuja ja koko sivu

Eila Ranta

Isäni haastoi minut tekemään kotitehtäväni käyttämättä lainkaan Wikipediaa, ja sanoin hänelle, että voin tehdä sen etsimällä monilta muilta sivustoilta. Isäni haastoi minut tekemään kotitehtäväni käyttämättä lainkaan Wikipediaa. Onneksi löysin tämän verkkosivuston ja tämä artikkeli Barbara Liskov auttoi minua saamaan kotitehtäväni valmiiksi. Olin vähällä mennä Wikipediaan, koska en löytänyt mitään Barbara Liskovsta, mutta onneksi löysin sen täältä, koska sitten isäni tarkisti selaushistoriani nähdäkseen, missä olin käynyt. Voitko kuvitella, jos pääsisin Wikipediaan? Onneksi löysin tämän verkkosivuston ja artikkelin Barbara Liskovsta täältä. Siksi annan teille viisi tähteä