Barbara Liskov (s. 7. marraskuuta 1939 Kalifornia , Yhdysvallat ) on yhdysvaltalainen tietojenkäsittelytieteilijä. Hänelle myönnettiin Turing-palkinto vuonna 2008.[ 1]
Hän suoritti alemman korkeakoulututkinnon Kalifornian yliopistossa , jossa hän luki pääaineenaan matematiikkaa. Valmistumisensa jälkeen Liskov työskenteli Mitre Corporationissa , jossa hän tutustui ohjelmointiin. Mitrestä hän siirtyi työskentelemään Harvardin yliopistoon , jossa hän keskittyi tietokoneella tehtävään kielenkääntämiseen .[ 1]
Liskov väitteli tohtoriksi Stanfordin yliopistosta vuonna 1968. Hänen väitöskirjansa aihe käsitteli shakin loppupelejä ja sen ohjasi John McCarthy . Liskov oli yksi ensimmäisistä naisista Yhdysvalloissa, jolle myönnettiin tohtorin tutkinto tietojenkäsittelytieteestä. Tohtorin-tutkinnon saatuaan hän jatkoi työskentelyä Mitressä, jossa hän kehitti Venus-tietokonejärjestelmän.[ 1]
Vuonna 1971 Liskov aloitti työt Massachusetts Institute of Technologyssä , jossa hän johti CLU -ohjelmointikielen suunnittelua ja kehitystyötä. Sama työryhmä kehitti myös Argus-ohjelmointikielen . Näiden jälkeen hän on työskennellyt erityisesti hajautettujen järjestelmien parissa. Liskovista tuli MIT:n täysi professori vuonna 1980. Vuonna 2008 MIT myönsi hänelle Institute Professor -tunnustuksen.[ 1] Liskov johtaan MIT:n Programming Methology -tutkimusryhmää.[ 2]
Liskoville myönnettiin IEEE John von Neumann -mitali vuonna 2004.[ 3]
Lähteet
1960-luku 1970-luku 1980-luku 1990-luku 2000-luku 2010-luku 2020-luku
Kansainväliset Kansalliset Tieteilijät Muut