O princípio de substituição de Liskov, desenvolvido junto com Barbara Liskov em 1993, continua sendo uma contribuição fundamental para a metodologia de engenharia de software. Jeannette Wing, nascida em Newark em 1956, passou décadas unindo a ciência da computação teórica à aplicação industrial. Sua trajetória profissional abrange a academia, políticas governamentais e laboratórios de pesquisa corporativa, concentrando-se principalmente em linguagens de programação e métodos formais.
Fundamentos acadêmicos e pesquisa
Wing concluiu seus estudos de graduação e mestrado em Engenharia Elétrica e Ciência da Computação no Instituto de Tecnologia de Massachusetts em junho de 1979 sob a orientação de Ronald Rivest e John Reiser. Ela obteve seu doutorado em Ciência da Computação na mesma instituição em 1983, supervisionada por John Guttag. Seus primeiros cargos docentes incluíram a Universidade do Sul da California de 1982 a 1985, seguidos por um período na Universidade Carnegie Mellon de 1985 a 2012. Durante seu período na Carnegie Mellon, atuou como chefe do Departamento de Ciência da Computação em dois períodos, 2004–2007 e 2010–2012.
Política pública e liderança corporativa
Além da pesquisa universitária, Wing ocupou cargos administrativos influentes. Ela atuou como diretora assistente de Computação, Ciência da Informação e Engenharia na Fundação Nacional de Ciências entre 2007 e 2010. Em janeiro de 2013, ela migrou para o setor privado como vice-presidente corporativa da Microsoft Research, onde gerenciou laboratórios globais e conexões de pesquisa até 30 de junho de 2017. Após isso, tornou-se diretora Avanessians do Instituto de Ciência de Dados da Universidade Columbia e foi nomeada vice-presidente executiva de pesquisa na universidade em 1 de setembro de 2021.
Contribuições para o pensamento computacional
Wing é reconhecida por sua defesa do pensamento computacional, que envolve a aplicação de técnicas de abstração algorítmica comuns na ciência da computação a diversas disciplinas. Seu trabalho em métodos formais, particularmente em relação ao Larch, influenciou significativamente a metodologia de programação. Ela atua em vários conselhos editoriais, incluindo o Journal of the ACM e o Formal Methods in System Design. Suas honrarias profissionais incluem tornar-se Membro da ACM em 1998, Membro do IEEE em 2003 e a eleição para a Academia Nacional de Engenharia em 2024 por seu trabalho em computação confiável e métodos formais.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Fatos rápidos
- Nascimento: 1956, Newark - Educação: Instituto de Tecnologia de Massachusetts - Áreas principais: Ciência da computação, inteligência artificial, linguagem de programação - Principal cargo: Vice-presidente executiva de pesquisa, Universidade Columbia - Desenvolvimento notável: Princípio de substituição de Liskov (1993) - Membro da ACM: 1998 - Membro do IEEE: 2003 - Interesse pessoal: Faixa preta de quarto grau em Tang Soo Do
Perguntas que os leitores fazem
### O que é o princípio de substituição de Liskov?
Desenvolvido em 1993 com Barbara Liskov, é um conceito na metodologia de programação sobre como os objetos de uma superclasse devem poder ser substituídos por objetos de suas subclasses sem alterar a correção do programa.
### O que Jeannette Wing quer dizer com pensamento computacional?
Refere-se ao processo de expressar técnicas de resolução de problemas e abstrações algorítmicas usadas por cientistas da computação para que possam ser aplicadas à pesquisa e a tarefas em outras disciplinas acadêmicas e práticas.
