Bárbara Liskov

Bárbara Liskov
Liskov em 2010
Nascer
Bárbara Jane Huberman

( 1939-11-07 )7 de novembro de 1939 (84 anos)
Los Angeles, Califórnia, EUA
Alma mater
Conhecido por
CônjugeNathan Liskov (1970–)
Crianças1
Prêmios
Carreira científica
CamposCiência da Computação
InstituiçõesInstituto de Tecnologia de Massachusetts
TeseUm programa para jogar jogos finais de xadrez  (1968)
Orientador de doutoradoJohn McCarthy [1]
Alunos de doutorado

Barbara Liskov (nascida em 7 de novembro de 1939, como Barbara Jane Huberman ) é uma cientista da computação americana que fez contribuições pioneiras para linguagens de programação e computação distribuída . Seu trabalho notável inclui a introdução de tipos de dados abstratos e o princípio de abstração de dados que os acompanha , juntamente com o princípio de substituição de Liskov , que aplica essas idéias à programação orientada a objetos , subtipagem e herança . Seu trabalho foi reconhecido com o Prêmio Turing de 2008 , a mais alta distinção em ciência da computação.

Liskov é uma das primeiras mulheres a receber o doutorado em ciência da computação nos Estados Unidos e a segunda mulher a receber o prêmio Turing. Atualmente ela é Professora do Instituto e Professora Ford de Engenharia no Instituto de Tecnologia de Massachusetts . [2] [3]

Infância e educação

Liskov nasceu em 7 de novembro de 1939, em Los Angeles, Califórnia, [4] o mais velho dos quatro filhos de Jane (nascida Dickhoff) e Moses Huberman. [5] Ela obteve seu diploma de bacharel em matemática com especialização em física na Universidade da Califórnia, Berkeley, em 1961. Em Berkeley, ela teve apenas uma outra colega de classe em sua especialização. [6] Ela se inscreveu em programas de pós-graduação em matemática em Berkeley e Princeton . Na época, Princeton não aceitava estudantes do sexo feminino em matemática. [7] Ela foi aceita em Berkeley, mas mudou-se para Boston e começou a trabalhar na Mitre Corporation , onde se interessou por computadores e programação. Ela trabalhou na Mitre por um ano antes de aceitar um emprego de programação em Harvard, trabalhando em tradução de idiomas. [7]

Ela então decidiu voltar a estudar e se inscreveu novamente em Berkeley, mas também em Stanford e Harvard. Em março de 1968, ela se tornou uma das primeiras mulheres nos Estados Unidos a receber o título de Ph.D. do departamento de ciência da computação quando se formou na Universidade de Stanford . [8] [9] [10] Em Stanford, ela trabalhou com John McCarthy e foi apoiada para trabalhar em inteligência artificial . [7] O tema de seu doutorado. tese era um programa de computador para jogar jogos finais de xadrez para o qual ela desenvolveu a importante heurística assassina . [11]

Carreira

Depois de se formar em Stanford, Liskov voltou para Mitre para trabalhar como pesquisador. [2]

Liskov liderou muitos projetos importantes, incluindo o sistema operacional Venus, um sistema pequeno e de baixo custo de compartilhamento de tempo ; o desenho e implementação do CLU ; Argus , a primeira linguagem de alto nível a apoiar a implementação de programas distribuídos e a demonstrar a técnica de pipelining de promessas ; e Thor, um sistema de banco de dados orientado a objetos . Com Jeannette Wing , ela desenvolveu uma definição particular de subtipagem , comumente conhecida como princípio de substituição de Liskov . Ela lidera o Grupo de Metodologia de Programação do MIT , com foco atual de pesquisa em tolerância a falhas bizantinas e computação distribuída . [3] Ela fez parte do júri inaugural de Engenharia e Ciência da Computação do Prêmio Infosys em 2009. [12]

Reconhecimentos e prêmios

Liskov é membro da Academia Nacional de Engenharia , da Academia Nacional de Ciências e membro da Academia Americana de Artes e Ciências e da Association for Computing Machinery (ACM). Em 2002, ela foi reconhecida como uma das principais mulheres docentes do MIT e entre as 50 principais docentes de ciências nos EUA [13] Em 2002, a revista Discover reconheceu Liskov como uma das 50 mulheres mais importantes na ciência . [14]

Em 2004, Barbara Liskov ganhou a Medalha John von Neumann por "contribuições fundamentais para linguagens de programação, metodologia de programação e sistemas distribuídos ". [15] Em 19 de novembro de 2005, Barbara Liskov e Donald E. Knuth receberam doutorados honorários da ETH . [16] Liskov e Knuth também foram apresentados na ETH Zurich Distinguished Colloquium Series. [17] Ela recebeu o título de Doutor Honoris Causa pela Universidade de Lugano em 2011 [18] e pela Universidad Politécnica de Madrid em 2018. [19]

Liskov recebeu o Prêmio Turing 2008 da ACM em março de 2009, [20] por seu trabalho no design de linguagens de programação e metodologia de software que levou ao desenvolvimento da programação orientada a objetos . [21] Especificamente, Liskov desenvolveu duas linguagens de programação, CLU [22] na década de 1970 e Argus [23] na década de 1980. [21] ACM citou suas contribuições para os fundamentos práticos e teóricos da "linguagem de programação e design de sistemas , especialmente relacionados à abstração de dados , tolerância a falhas e computação distribuída ". [24] Em 2012 ela foi incluída no Hall da Fama dos Inventores Nacionais . [25]

Trabalhos selecionados

Liskov é autor de cinco livros em fevereiro de 2023 e de mais de cem artigos técnicos.

Livros

  • Liskov, Bárbara; Atkinson, R.; Flor, T.; Moss, E.; Schaffert, JC; Scheifler, R.; Snyder, A. (1981). CLU: Manual de Referência. Springer Berlim Heidelberg. ISBN 978-3-540-10836-8.
  • Alford, MW; Ansart, JP; Hommel, G.; Lamport, L.; Liskov, Bárbara; Mullery, GP; Schneider, Facebook (1985). Sistemas Distribuídos: Métodos e Ferramentas para Especificação. Um curso avançado. Springer Berlim Heidelberg. ISBN 978-3-540-15216-3.
  • Liskov, Bárbara; Guttag, John (1986). Abstração e Especificação no Desenvolvimento de Programas. Imprensa do MIT. ISBN 978-0-262-12112-5.
  • Liskov, Bárbara; Guttag, John (2000). Desenvolvimento de Programas em Java: Abstração, Especificação e Design Orientado a Objetos. Educação Pearson. ISBN 978-0-7686-8496-4.

Artigos selecionados

  • Liskov, Bárbara; Zilles, Stephen (28/03/1974). “Programação com tipos de dados abstratos”. Avisos da ACM SIGPLAN . 9 (4): 50–59. doi :10.1145/942572.807045. ISSN0362-1340  .
  • Liskov, Bárbara; Snyder, Alan; Atkinson, Russell; Schaffert, Craig (01/08/1977). "Mecanismos de abstração em CLU". Comunicações da ACM . 20 (8): 564–576. doi : 10.1145/359763.359789 . ISSN0001-0782  . S2CID17343380  .
  • Ladin, Rivka; Liskov, Bárbara; Shrira, Liuba; Ghemawat, Sanjay (01/11/1992). "Fornecendo alta disponibilidade usando replicação lenta". Transações ACM em Sistemas de Computador . 10 (4): 360–391. doi : 10.1145/138873.138877 . ISSN0734-2071  . S2CID2219840  .
  • Liskov, Bárbara H.; Asa, Jeannette M. (01/11/1994). “Uma noção comportamental de subtipagem”. Transações ACM em linguagens e sistemas de programação . 16 (6): 1811–1841. doi : 10.1145/197320.197383 . ISSN0164-0925  . S2CID999172  .
  • Castro, Miguel; Liskov, Bárbara (22/02/1999). "Tolerância prática a falhas bizantinas". Anais do Terceiro Simpósio sobre Design e Implementação de Sistemas Operacionais . OSDI '99. EUA: Associação USENIX: 173–186. ISBN 978-1-880446-39-3.
  • Myers, Andrew C.; Liskov, Bárbara (01/10/2000). “Protegendo a privacidade usando o modelo de etiqueta descentralizado”. Transações ACM em Engenharia e Metodologia de Software . 9 (4): 410–442. doi : 10.1145/363516.363526 . ISSN1049-331X  . S2CID9600486  .

Vida pessoal

Em 1970, ela se casou com Nathan Liskov. [7] Eles têm um filho, Moses, que obteve um PhD em ciência da computação pelo MIT em 2004 e leciona ciência da computação no College of William and Mary . [2]

Veja também

Referências

  1. ^ Barbara Liskov no Projeto de Genealogia da Matemática
  2. ^ abc "Bárbara Liskov". Prêmio AM Turing . Associação de Máquinas de Computação . Recuperado em 28 de agosto de 2021 .
  3. ^ ab Barbara Liskov, Grupo de Metodologia de Programação, MIT.
  4. ^ Karagianis, Liz (outono de 2009). "Prêmio Principal". Espectro do MIT . Recuperado em 10 de julho de 2016 .
  5. ^ "Jane Siegel: Obituário" . San Francisco Chronicle (através da Legacy.com) . 24 de janeiro de 2010 . Recuperado em 18/11/2014 .
  6. ^ D'Agostino, Susan (20 de novembro de 2019). "O arquiteto dos algoritmos modernos". Revista Quanta . Recuperado em 2020-10-21 .
  7. ^ abcd Guttag, John (01/01/2005). O elétron e o bit: engenharia elétrica e ciência da computação no Massachusetts Institute of Technology, 1902–2002 . Cambridge, Massachusetts: MIT, Departamento de Engenharia Elétrica e Ciência da Computação OCLC  61332947.
  8. ^ "Bárbara Liskov". Garota engenheira . Recuperado em 06/09/2007 .Perfil das Academias Nacionais de Engenharia.
  9. ^ "Ph.Ds em Ciência da Computação UW-Madison concedido, maio de 1965 - agosto de 1970" . Recuperado em 08/11/2010 .Doutorados concedidos pelo Departamento de Ciências da Computação da UW-Madison.
  10. ^ "Barbara Liskov | Biografia, Prêmio AM Turing e fatos" . Enciclopédia Britânica . Recuperado em 25/09/2021 .
  11. ^ Huberman (Liskov), Barbara Jane (1968). Um programa para jogar jogos finais de xadrez (PDF) (Relatório). Relatório Técnico CS 106, Memorando do Projeto de Inteligência Artificial de Stanford AI-65. Departamento de Ciência da Computação da Universidade de Stanford. Arquivado do original (PDF) em 11 de fevereiro de 2017.
  12. ^ “Prêmio Infosys - Júri 2009” . Fundação Científica Infosys . Recuperado em 1 de março de 2021 .
  13. ^ "Os sete magníficos do MIT: mulheres docentes citadas como cientistas de ponta" . Escritório de notícias do MIT . Cambridge, MA. 5 de novembro de 2002 . Recuperado em 29 de outubro de 2012 .
  14. ^ Svitil, Kathy (13 de novembro de 2002). “As 50 mulheres mais importantes da ciência”. Descubra . Recuperado em 1 de maio de 2019 .
  15. ^ Destinatários da Medalha IEEE John von Neumann do site do IEEE
  16. ^ "Médicos Honorários" . Zurique: ETH Ciência da Computação. 22 de março de 2006. Arquivado do original em 8 de janeiro de 2013 . Recuperado em 29 de outubro de 2012 . Barbara Liskov e Donald E. Knuth receberam o título de Doutor Honorário da ETH em 19 de novembro de 2005.
  17. ^ "Distintos Palestrantes Barbara Liskov e Donald E. Knuth" . Zurique: ETH Ciência da Computação. Janeiro de 2006. Arquivado do original em 8 de janeiro de 2013 . Recuperado em 29 de outubro de 2012 .
  18. ^ "Doutorados Honorários da USI" . USI . Recuperado em 16/05/2021 .
  19. ^ elEconomista.es. "Barbara Liskov, nova doutora honoris causa pela UPM - elEconomista.es" (em espanhol) . Recuperado em 11/06/2018 .
  20. ^ Weisman, Robert (10 de março de 2009). “O prêmio principal em computação vai para o professor do MIT” . O Globo de Boston .
  21. ^ ab Barbara Liskov ganha prêmio Turing | 10 de março de 2009 no site do Dr. Dobb's Journal
  22. ^ Liskov, B.; Snyder, A.; Atkinson, R.; Schaffert, C. (agosto de 1977). "Mecanismos de abstração em CLU". Comunicações da ACM . 20 (8): 564–576. CiteSeerX 10.1.1.112.656 . doi :10.1145/359763.359789. S2CID17343380  . 
  23. ^ Liskov, B. (março de 1988). “Programação distribuída em Argus” . Com. ACM . 31 (3): 300–312. doi : 10.1145/42392.42399 . S2CID16233001  .
  24. ^ "ACM nomeia Barbara Liskov ganhadora do prêmio ACM AM Turing de 2008" . Associação de Máquinas de Computação. Arquivado do original em 16/07/2012 . Recuperado em 10/03/2009 .
  25. ^ "Destaque | Hall da Fama dos Inventores Nacionais" . Invent.org. 21/11/2013. Arquivado do original em 14/08/2016 . Recuperado em 31/05/2016 .

links externos

  • Página inicial do Prof. Liskov
  • Grupo de metodologia de programação
  • Comunicado de imprensa do Prêmio Turing
  • Entrevista na revista Quanta
  • Tom Van Vleck , Barbara Liskov, vencedor do prêmio AM Turing
  • Entrevista da National Public Radio "Science Friday" com Barbara Liskov, exibida originalmente em 13 de março de 2009
  • Celebrando Mulheres Distintas, Barbara Liskov, entrevista do Prêmio Turing por Stephen Ibaraki
  • "Barbara Liskov: Uma entrevista conduzida por William Aspray, IEEE History Center, 6 de agosto de 1991". GHN: Rede de História Global IEEE . Recuperado em 29/11/2013 .
  • John V. Guttag , Barbara Liskov, The Electron and The Bit: EECS at MIT, 1902–2002 , Capítulo VII: "Pioneering Women in EECS", pp. 225–239, 2003, Departamento de Engenharia Elétrica e Ciência da Computação, MIT
  • Barbara Liskov nomeada professora do instituto, MIT News, 1º de julho de 2008
  • Notícias do departamento: Barbara Liskov nomeada professora do instituto. Arquivado em 05/11/2016 na Wayback Machine , boletim informativo EECS, outono de 2008
  • Natasha Plotkin e Barbara Liskov nomeadas professoras do Instituto, The Tech (MIT), 128,29, 9 de julho de 2008
  • Robert Weisman, Prêmio principal em computação vai para professor do MIT, The Boston Globe , 10 de março de 2009
  • Erica Naone, Driven to Abstraction, MIT Technology Review , 21 de dezembro de 2009
  • Barbara Liskov Arquivado em 12/07/2018 na Wayback Machine no wiki de programação de xadrez
Obtido em "https://en.wikipedia.org/w/index.php?title=Barbara_Liskov&oldid=1205851930"