b:barbara_liskov
Diferenças
Aqui você vê as diferenças entre duas revisões dessa página.
| Ambos lados da revisão anteriorRevisão anteriorPróxima revisão | Revisão anterior | ||
| b:barbara_liskov [2022/08/22 21:37] – Eric Viana Kivel | b:barbara_liskov [2022/09/04 19:30] (atual) – Ramon Cesar Santos Alves | ||
|---|---|---|---|
| Linha 1: | Linha 1: | ||
| + | ====== Biografia de Barbara Liskov ====== | ||
| + | |||
| + | {{ : | ||
| + | Barbara Jane Huberman nasceu em 7 de novembro de 1939, Califórnia, | ||
| + | Formou-se em matemática pela Universidade da Califórnia em 1961. Ao tentar uma pós-graduação em Princeton foi rejeitada pois, de acordo com a carta de resposta, a universidade não aceitava mulheres. Decidiu, então, trabalhar na área da programação, | ||
| + | |||
| + | Barbara ganhou seu mestrado em 1965, e seu doutorado em 1968, ambos de Stanford, se tornando, assim, a primeira mulher a conseguir um doutorado em Ciência da Computação nos Estados Unidos. Atualmente é professora no MIT no Departamento de Engenharia Elétrica e Ciência da Computação, | ||
| + | ---- | ||
| + | ====== Principais Contribuições ====== | ||
| + | |||
| + | Liskov criou o tipo abstrato de dados (TAD), que serviu de base para criar a linguagem CLU, que possuía organização baseada em módulos, tipagem forte, e diversas outras técnicas que seriam posteriormente utilizadas por diversas linguagens famosas, como: Java, C++ e C#. Além disso, criou o "Venus Computer" | ||
| + | Junto com Jeannette Wing desenvolveu o Liskov Substitution Principle (LSP), que basicamente diz que todos os objetos de uma superclasse poderiam ser trocados por objetos de subclasses sem quebrar a aplicação, | ||
| + | |||
| + | ---- | ||
| + | ====== Prêmios e Distinções ====== | ||
| + | |||
| + | * Em 1996, recebeu o prêmio //The Society of Women Engineers' | ||
| + | * Em 2002, foi considerada uma das maiores professoras do MIT e ficou entre os 50 maiores professores de ciência dos Estados Unidos; | ||
| + | * Em 2004, recebeu a Medalha John Neumann (medalha dada para pessoas que se destacam na área da Ciência da Computação); | ||
| + | * Em 2008, ela recebeu o Prêmio de Realização de Linguagens de Programação; | ||
| + | * Em 2008, Liskov ganhou o A.M. Turing Award, o maior prêmio na área da Ciência da Computação, | ||
| + | |||
| + | ---- | ||
| + | ====== Produção Científica ====== | ||
| + | |||
| + | * CLU Reference Manual (1979); | ||
| + | * Distributed Systems: Methods and Tools for Specification. An Advanced Course (1985); | ||
| + | * Abstraction and Specification in Program Development (1986); | ||
| + | * Program Development in Java: Abstraction, | ||
| + | |||
| + | ---- | ||
| + | ====== Curiosidades ====== | ||
| + | |||
| + | * Autora de mais de 140 artigos científicos; | ||
| + | * A sua tese de doutorado foi um programa de computador que jogava finais de partidas de xadrez; | ||
| + | * Tem um filho chamado Moses, que obteve um doutorado em Ciência da Computação em 2004 no " | ||
| + | |||
| + | ---- | ||
| + | ====== Referências ====== | ||
| + | |||
| + | Projeto Enigma. **Barbara Liskov**. A primeira mulher a obter um PhD em Ciência da Computação nos Estados Unidos. Disponível em: https:// | ||
| + | Vleck, Tom van.**Barbara Liskov**. Disponível em: https:// | ||
| + | Hosch, William L. **Barbara Liskov**. Disponível em: https:// | ||
| + | Kamilla, Jessie. **Barbara Liskov: uma das profissionais por trás do formato das linguagens de programação**. Disponível em: https:// | ||
| + | Khare, Rituraj. **Liskov Substitution Principle and its significance**. Disponível em: https:// | ||
| + | **Barbara Liskov**. Disponível em: https:// | ||
| + | **Bárbara Liskov**. Disponível em: https:// | ||
| + | |||