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/28 20:57] – Juliana Zambon | 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:// | ||
+ | |||