Barbara Liskov
Barbara Liskov, nascuda Barbara Jane Huberman (Los Angeles, 7 de novembre de 1939) es una informaticiana americana. Trabalha actualament al Massachusetts Institute of Technology. Son trabalh se vegèt recompensat en 2004 per la Medalha John von Neumann e en 2008 pel Prèmi Turing.
Biografia
[modificar | Modificar lo còdi]Barbara Jane Huberman nasquèt a Los Angeles en 1939 e passèt sa joventut a San Francisco. Obtenguèt puèi son BA en matematicas a l'Universitat de Califòrnia, Berkeley en 1961. En 1968 l'Universitat Stanford faguèt d'ela la primièra femna dels Estats Units a recebre un doctorat d'un departament d'informatica. Lo subjècte de sa tèsi èra un programa d'ordinador per jogar als chess end games.
Liskov a dirigit mantun projècte important coma per exemple lo sistèma operatiu Venus, the design and implementation of CLU; Argus, the first high-level language to support implementation of distributed programs and to demonstrate the technique of promise pipelining; e Thor, an object-oriented database system. With Jeannette Wing, she developed a particular definition of subtyping, commonly known as the Liskov substitution principle. She leads the Programming Methodology Group at MIT, with a current research focus in Byzantine fault tolerance and distributed computing.