Barbara Liskov
| Barbara Liskov | |
|---|---|
 | |
| Princípio da substituição de Liskov | |
| Nascimento | 7 de novembro de 1939 (84 anos) Los Angeles |
| Nacionalidade | Estadunidense |
| Cidadania | Estados Unidos |
| Alma mater | Universidade da Califórnia em Berkeley, Universidade Stanford |
| Ocupação | cientista de computação, professora universitária, engenheira |
| Prêmios | Medalha John von Neumann IEEE (2004), Prêmio Turing (2008), Prêmio Pioneiro da Computação (2018) |
| Empregador(a) | Instituto de Tecnologia de Massachusetts |
| Orientador(a)(es/s) | 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 |
| Obras destacadas | sistema de processamento distribuído |
| Página oficial | |
| http://www.pmg.csail.mit.edu/~liskov/ | |
[edite no Wikidata] | |
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
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.[4] 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
É 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 (PhD) em um departamento de informática.[6] O tema de sua tese de doutorado foi um programa de computador para jogar finais de jogos de xadrez.[7]
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).[8]
Em 2002, ela foi reconhecida como uma das maiores professoras pelo MIT e integrante dos 50 maiores professores de ciência dos Estados Unidos.[8]
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[9] 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.
É autora de mais de 140 artigos científicos.[10]
Prêmios e condecorações
- 1996 - Considerada uma das 100 maiores mulheres na área de Computação pela Open Computing Magazine.
- 2002 - Uma das maiores professoras do MIT.[8]
- 2002 - Uma dos 50 maiores docentes de Ciência dos Estados Unidos pela Discover Magazine.[8]
- 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).
- 2015 - Prêmio Weizmann de Mulheres na Ciência
Publicações
- 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
- ↑ Barbara Liskov (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
- ↑ a b BERGIN, Thomas J.; GIBSON, Richard G. (1996). History of Programming Languages II. New York: ACM Press, Addison-Wesley. 864 páginas. ISBN 0-201-89502-1 !CS1 manut: Nomes múltiplos: lista de autores (link)
- ↑ «Barbara Liskov». STEMsational Figures. Consultado em 9 de março de 2019
- ↑ «Barbara Liskov -- Engineergirl». Consultado em 16 de junho de 2009 Perfil na "National Academies of Engineering".
- ↑ *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
- ↑ a b c d van Vleck, Tom. «BARBARA LISKOV». Consultado em 9 de março de 2019
- ↑ Prêmio Top em computação vai para professora do MIT extraído do sítio web do The Boston Globe
- ↑ «Barbara H. Liskov». Association for Computing Machinery. Consultado em 15 de abril de 2014
Ver também
Ligações externas
- Página pessoal
- Programming Methodology Group
- Prêmio Turing
| Precedido por Alfred Aho | Medalha John von Neumann IEEE 2004 | Sucedido por Michael Stonebraker |
| Precedido por Edmund Clarke, Ernest Allen Emerson e Joseph Sifakis | Prêmio Turing 2008 | Sucedido por Charles P. Thacker |
 | Este artigo sobre uma pessoa é um esboço. Você pode ajudar a Wikipédia expandindo-o.
|
O Commons possui uma categoria com imagens e outros ficheiros sobre Barbara Liskov
| Controle de autoridade |
|
|---|
