Usuário(a):Liandra Monteiro/Testes/BarbaraLiskov
Barbara Liskov Barbara Jane Huberman | |
---|---|
Barbara Liskov em 2010 | |
Conhecido(a) por | Princípio da substituição de Liskov |
Nascimento | 7 de novembro de 1939 (84 anos) Los Angeles |
Nacionalidade | Estadunidense |
Alma mater | Universidade da Califórnia em Berkeley, Universidade Stanford |
Prêmios | Medalha John von Neumann IEEE (2004), Prêmio Turing (2008), Prêmio Pioneiro da Computação (2018) |
Orientador(es)(as) | John McCarthy[1] |
Orientado(a)(s) | Sanjay Ghemawat, Maurice Herlihy, J. Eliot B. Moss |
Instituições | Instituto de Tecnologia de Massachusetts |
Campo(s) | Ciência da computação |
Tese | 1968: A Program to Play Chess End Games |
Barbara Liskov, nascida Barbara Jane Huberman (Los Angeles, 7 de novembro de 1939[2]), é uma cientista da computação estadunidense conhecida por criar o Princípio da Substituição de Liskov, por ser a primeira mulher a obter um PhD em Ciência da Computação[2] nos Estados Unidos e por inventar o Tipo Abstrato de Dado (TAD)[3].
História
[editar | editar código-fonte]Barbara Liskov nascida em Los Angeles no dia 7 de Novembro de 1939, cresceu em San Francisco filha de Jane e Moses Huberman.
Não ingressou diretamente na universidade, trabalhando antes alguns anos.[4] Devido ao fato de não encontrar trabalho como matemática, ela obteve um emprego como programadora, o que a direcionou para o campo da ciência da computação.
Chegou a se inscrever no programa de Pós-Graduação da Universidade de Princeton, mas foi rejeitada[5] pois a instituição não admitia mulheres na época.
Carreira
[editar | editar código-fonte]É atualmente professora no Departamento de Engenharia Elétrica e Ciência da Computação no MIT. Obteve seu bacharelado em matemática na Universidade da Califórnia, Berkeley, em 1961. Em 1968 na Universidade de Stanford tornou-se a primeira mulher dos Estados Unidos a obter o grau de doutorado (Ph. D.) em um departamento de informática.[4] O tema de sua tese de doutorado foi um programa de computador para jogar finais de jogos de xadrez.[6]
Liskov liderou muitos projetos significativos, incluindo o sistema operacional Vénus, um sistema interativo pequeno, de baixo custo e compartilhado. Concebeu e implementou a linguagem CLU,[6] entre outras.
É autora de mais de 140 artigos científicos.[8]
Liskov é membro da Academia Nacional de Engenharia (NAE), da Academia Nacional de Ciências, parceira da Academia Americana de Artes e Ciência e da associação de Maquinário para Computação (ACM).[7]
Em 2002, ela foi reconhecida como uma das maiores professoras pelo MIT e integrante dos 50 maiores professores de ciência dos Estados Unidos.[7]
Em 2004, Bárbara ganhou a Medalha John Neumann de “Contribuições Fundamentais para Linguagem de Programação, Metodologia de Programação e Computação Distribuída”.[2]
Barbara recebeu em 2008 o Prêmio Turing da ACM[7] por seu trabalho na concepção de linguagens de programação e de metodologia de software que levaram ao desenvolvimento da programação orientada para objetos.
Prêmios e Condecorações
[editar | editar código-fonte]- 1996 - Considerada uma das 100 maiores mulheres na área de Computação pela Open Computing Magazine.
- 2002 - Uma das maiores professoras do MIT.[7]
- 2002 - Uma dos 50 maiores docentes de Ciência dos Estados Unidos pela Discover Magazine.[7]
- 2004 - Medalha John Neumann de “Contribuições Fundamentais para Linguagem de Programação, Metodologia de Programação e Computação Distribuída”.
- 2005 - Honoris causa pela ETH Zurich IEEE.
- 2007 - ACM SIGSOFT Impact Paper Award for “Abstraction Mechanisms in CLU”.
- 2007 - ACM SIGPLAN Programming Languages Lifetime Achievement Award.
- 2008 - Prêmio Turing da ACM.
- 2012 - Incluída no National Inventors Hall of Fame (Hall da Fama de Inventores dos Estados Unidos).
Publicações
[editar | editar código-fonte]- Abstraction, Specification and Object-Oriented. (1986)
- Distributed Systems: Methods and Tools for Specification. An Advanced Course.(1985)
- CLU Reference Manual (1979)
- Program development in Java: Abstraction, Specification and Object-Oriented. (2001)
Referências
- ↑ Liandra Monteiro/Testes/BarbaraLiskov (em inglês) no Mathematics Genealogy Project
- ↑ a b «History of Scientific Women». scientificwomen. Consultado em 9 de março de 2019
- ↑ Liskov, Barbara (1974). «Programming with abstract data types». ACM. Consultado em 9 de março de 2019
- ↑ «scientificwomen». Consultado em 9 de março de 2019
- ↑ «Barbara Liskov». STEMsational Figures. Consultado em 9 de março de 2019
- ↑ Huberman (Liskov), Barbara Jane (1968). A program to play chess end games, Stanford University Department of Computer Science, Technical Report CS 106, Stanford Artificial Intelligence Project Memo AI-65. Stanford: [s.n.]
- ↑ a b c d van Vleck, Tom. «BARBARA LISKOV». Consultado em 9 de março de 2019