Barbara Liskov

Liskov ble født 7. november 1939 i Los Angeles, California, ^[13] hun var den eldste av Jane og Moses Hubermans fire barn.^[14] Hun tok en bachelorgrad i matematikk med bifag i fysikk ved University of California, Berkeley i 1961. Under studiene i Berkeley hadde hun bare én annen kvinnelig klassekamerat i hovedfaget.^[15] Hun søkte på masterstudier i matematikk ved Berkeley og Princeton. På den tiden tok ikke Princeton imot kvinnelige studenter i matematikk.^[16] Hun fikk plass på Berkeley, men flyttet i stedet til Boston og begynte å jobbe i Mitre Corporation, en ideell organisasjon som drifter offentlige amerikanse forskings- og utviklingssentre, hvor hun fikk interesse datamaskiner og programmering. Hun jobbet på Mitre i ett år før hun fikk en programmeringsjobb ved Harvard hvor hun jobbet med språkoversettelse.^[16]

Hun bestemte seg videre for å gå tilbake til skolen og søkte igjen til Berkeley, men også Stanford og Harvard. I mars i 1968 ble hun en av de første kvinnene i USA som ble tildelt en Ph.D. fra en informatikkavdeling da hun ble tildelt graden sin fra Stanford University.^[17][18][19] På Stanford jobbet hun med John McCarthy og fikk støtte til å jobbe med kunstig intelligens.^[16] Temaet for doktorgradsavhandlingen hennes var et dataprogram som spilte sjakksluttspill.^[20]

Etter endt utdanning fra Stanford, dro Liskov tilbake til Mitre for å jobbe som forsker.^[11]

Liskov har ledet mange betydelige prosjekter, blant annet Venus-operativsystemet, som var et lite og rimelig tidsdelingssystem; designet og implementering av CLU, som ble et trinn i utviklingen av objektorientert programmering; Argus, det første språket på høyt nivå som støtter implementering av distribuerte programmer ved å innkapsle relaterte prosedyrer innenfor objekter, og ved å støtte atomiske operasjoner; og Thor, et objektorientert databasesystem . Sammen med Jeannette Wing utviklet hun en spesiell definisjon av polymorfisme kjent som Liskov-substitusjonsprinsippet. Hun leder programmeringsmetodikkgruppen ved MIT, med et forskningsfokus på bysantinsk feiltoleranse og distribuert databehandling.^[12] Hun var med i den første juryen for ingeniør- og informatikk for Infosys-prisen i 2009.^[21]

Liskov er medlem av National Academy of Engineering, National Academy of Sciences og er stipendiat ved American Academy of Arts and Sciences og Association for Computing Machinery (ACM). I 2002 ble hun anerkjent som en av de fremste kvinnelige fakultetsmedlemmene ved MIT, og blant de 50 fremste fakultetsmedlemmene i vitenskapen i USA.^[22] I 2002 ble Liskov anerkjent av magasinet Discover som en av de 50 viktigste kvinnene innen vitenskapen.^[23]

I 2004 vant Liskov John von Neumann-medaljen for «grunnleggende bidrag til programmeringsspråk, programmeringsmetodikk og distribuerte systemer».^[24] 19. november 2005 ble Liskov sammen med Donald E. Knuth æresdoktor ved ETHs.^[25] Liskov og Knuth ble også omtalt i ETH Zurich Distinguished Colloquium Series.^[26] Hun ble tildelt en doktorgrad Honoris Causa av Universitetet i Lugano i 2011^[27] og av Universidad Politécnica de Madrid i 2018.^[28]

Liskov mottok Turing-prisen for 2008 i mars 2009,^[29] for sitt arbeid med design av programmeringsspråk og programvaremetodikk som førte til utviklingen av objektorientert programmering.^[30] Konkret utviklet Liskov to programmeringsspråk, CLU på 1970-tallet og Argus på 1980-tallet.^[30] ACM siterte hennes bidrag til det praktiske og teoretiske grunnlaget for «programmeringsspråk og systemdesign, spesielt relatert til dataabstraksjon, feiltoleranse og distribuert databehandling».^[31] I 2012 ble hun inlemmet i National Inventors Hall of Fame.^[32]

Anno 2023, har Loskov skrevet fem bøker og over ett hundre akademiske artikler.

Bøker

• Liskov, Barbara; Atkinson, R.; Bloom, T.; Moss, E.; Schaffert, J. C.; Scheifler, R.; Snyder, A. (1981). CLU: Reference Manual (engelsk). Springer Berlin Heidelberg. ISBN 978-3-540-10836-8. 
• Alford, M. W.; Ansart, J. P.; Hommel, G.; Lamport, L.; Liskov, Barbara; Mullery, G. P.; Schneider, F. B. (1985). Distributed Systems: Methods and Tools for Specification. An Advanced Course (engelsk). Springer Berlin Heidelberg. ISBN 978-3-540-15216-3. 
• Liskov, Barbara; Guttag, John (1986). Abstraction and Specification in Program Development (engelsk). MIT Press. ISBN 978-0-262-12112-5. 
• Liskov, Barbara; Guttag, John (2000). Program Development in Java: Abstraction, Specification, and Object-Oriented Design (engelsk). Pearson Education. ISBN 978-0-7686-8496-4. 

Utvalgte artikler

• Liskov, Barbara; Zilles, Stephen (28. mars 1974). «Programming with abstract data types». ACM SIGPLAN Notices. 9 (4): 50–59. doi:10.1145/942572.807045. 
• Liskov, Barbara; Snyder, Alan (1. august 1977). «Abstraction mechanisms in CLU». Communications of the ACM. 20 (8): 564–576. doi:10.1145/359763.359789. 
• Ladin, Rivka; Liskov, Barbara (1. november 1992). «Providing high availability using lazy replication». ACM Transactions on Computer Systems. 10 (4): 360–391. doi:10.1145/138873.138877. 
• Liskov, Barbara H.; Wing, Jeannette M. (1. november 1994). «A behavioral notion of subtyping». ACM Transactions on Programming Languages and Systems. 16 (6): 1811–1841. doi:10.1145/197320.197383. 
• Castro, Miguel; Liskov, Barbara (22. februar 1999). «Practical Byzantine fault tolerance». Proceedings of the Third Symposium on Operating Systems Design and Implementation: 173–186. 
• Myers, Andrew C.; Liskov, Barbara (1. oktober 2000). «Protecting privacy using the decentralized label model». ACM Transactions on Software Engineering and Methodology. 9 (4): 410–442. doi:10.1145/363516.363526. 

I 1970 giftet hun seg med Nathan Liskov.^[16] De har en sønn, Moses, som tok en doktorgrad i informatikk fra MIT i 2004 og underviser i informatikk ved College of William and Mary .^[11]

• Prof. Liskovs hjemmeside
• Programmeringsmetodikkgruppe
• Pressemelding fra Turing Award
• Intervju i magasinet Quanta
• Tom Van Vleck, Barbara Liskov, AM Turing-prisvinner
• National Public Radio "Science Friday" intervju med Barbara Liskov, opprinnelig sendt 13. mars 2009
• Celebrating Women of Distinction, Barbara Liskov, Turing Award-intervju av Stephen Ibaraki
• John V. Guttag, Barbara Liskov, The Electron and The Bit: EECS ved MIT, 1902–2002, Kapittel VII: "Pioneering Women in EECS", s. 225–239, 2003, Institutt for elektroteknikk og informatikk, MIT
• Barbara Liskov utnevnt til instituttprofessor, MIT News, 1. juli 2008
• Avdelingsnyheter: Barbara Liskov utnevnt til instituttprofessor Arkivert 5. november 2016 hos Wayback Machine. Arkivert 2016-11-05 hos Wayback Machine </link> , EECS nyhetsbrev, høsten 2008
• Natasha Plotkin, Barbara Liskov utnevnt til instituttprofessor, The Tech (MIT), 128,29, 9. juli 2008
• Robert Weisman, toppprisen i databehandling går til MIT-professor, The Boston Globe, 10. mars 2009
• Erica Naone, Driven to Abstraction, MIT Technology Review, 21. desember 2009
• Barbara Liskov Arkivert 2018-07-12 hos Wayback Machine </link> på sjakkprogrammeringswikien