Barbara Liskov
Barbara Liskov (7 november 1939, geboren als Barbara Jane Huberman) is een Amerikaans informaticus. Ze heeft bijdragen geleverd over het ontwerpen en implementeren van besturingssystemen en programmeertalen evenals gedistribueerde en fouttolerante systemen. Andere gebieden zijn het gebruik van abstractie en modulariteit in software.
Barbara Liskov | ||||
---|---|---|---|---|
Barbara Liskov, 2009.
| ||||
Persoonlijke gegevens | ||||
Geboortedatum | 7 november 1939 | |||
Geboorteplaats | Los Angeles, California | |||
Wetenschappelijk werk | ||||
Vakgebied | Informatica | |||
Bekend van | distributed computing | |||
Promotor | John McCarthy[1] | |||
Alma mater | Stanford-universiteit Universiteit van Californië - Berkeley | |||
Officiële website | ||||
|
Ze is Institute Professor aan het Massachusetts Institute of Technology en Ford Professor of Engineering van het MIT Department of Electrical Engineering and Computer Science. Ze was de eerste vrouw die een Ph.D. ontving in de Verenigde Staten van een informatica-departement.[2] Ze is de tweede vrouw aan wie de Turing Award is uitgereikt.
Biografie
bewerkenIn 1961 behaalde Liskov de graad Bachelor of Arts in wiskunde aan de Universiteit van Californië - Berkeley. In 1965 behaalde ze de graad Master of Science aan de Stanford-universiteit en in 1968 verdedigde ze daar haar proefschrift over een computerprogramma om het eindspel in schaken te spelen.[3] Ze werkt sinds 1972 bij het Massachusetts Institute of Technology. Ze staat hier tegenwoordig aan het hoofd van de Programming Methodology Group die onderzoek verricht naar fouttolerantie, zoals Byzantijns falen.
Liskov heeft bijgedragen aan allerlei projecten, waaronder het besturingssysteem Venus (bij Mitre Corporation), de objectgeoriënteerde programmeertaal CLU en Argus, een gedistribueerde programmeertaal.
In 1996 ontving ze de Achievement Award van de Society of Women Engineers. In 2004 ontving ze de John von Neumann Medal van het Institute of Electrical and Electronics Engineers (IEEE):
For fundamental contributions to programming languages, programming methodology, and distributed systems.
— Institute of Electrical and Electronics Engineers[4]
In 2008 ontving ze de Turing Award van de Association for Computing Machinery:[5]
For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.
— Association for Computing Machinery[6]
Het substitutieprincipe van Liskov draagt haar naam.
Liskov is lid van de National Academy of Engineering en ze is fellow van de American Academy of Arts and Sciences.
Externe links
bewerken- (en) Barbara Liskov. www.pmg.csail.mit.edu.
- (en) Guttag, John V., MIT EECS - Barbara Liskov's biography by John Guttag in EECS centennial book. web.archive.org (2010-06-02, tekst oorspronkelijk uit 2003)). Gearchiveerd op 2 juni 2010. Geraadpleegd op 4 januari 2020.
- (en) D'Agostino, Susan, The Architect of Modern Algorithms. Quanta Magazine. Simons Foundation (20 november 2019).
- ↑ https://www.genealogy.math.ndsu.nodak.edu/id.php?id=61932; Mathematics Genealogy Project; geraadpleegd op: 8 augustus 2016; taal van werk of naam: Engels.
- ↑ (en) Barbara Liskov - Engineer Girl
- ↑ Barbara Jane Huberman, A program to play chess end games, Technical Report CS 106, Stanford Artificial Intelligence Project Memo AI-65, Stanford University Department of Computer Science, 1968
- ↑ (en) IEEE John von Neumann Medal Recipients
- ↑ (en) Barbara Liskov wins Turing Award, 10 maart 2009
- ↑ (en) ACM Award Citation - Barbara H. Liskov