Jeannette Wing
| Jeannette Wing | |
|---|---|
 | |
| Nome completo | Jeannette Marie Wing |
| Nascimento | 4 de dezembro de 1956 (69 anos) |
| Nacionalidade | Estadunidense |
| Alma mater | Instituto de Tecnologia de Massachusetts |
| Carreira científica | |
| Instituições | |
| Campo(s) | Ciência da Computação |
| Tese | A Two-Tiered Approach to Specifying Programs (1983) |
Jeannette Marie Wing é uma cientista da computação e palestrante, conhecida por suas contribuições para o pensamento computacional e a criação do princípio da substituição de Liskov.[1] Até 2013, foi professora Presidente de Ciência da Computação na Universidade Carnegie Mellon, em Pittsburgh, Pensilvânia, Estados Unidos. Até 30 de junho de 2017, foi vice-presidente corporativa da Microsoft Research, supervisionando seus principais laboratórios de pesquisa em todo o mundo e as Microsoft Research Connections.[2][3] Antes de sua nomeação em 1º de setembro de 2021, atuou como Diretora da Avanessians do Instituto de Ciência de Dados da Universidade de Columbia.[4] Wing também atuou como diretora assistente de Ciência da Computação e Engenharia da Informação na NSF de 2007 a 2010.[5][6][7][8][9][10][11] Em 2021, Wing foi nomeada vice-presidente executiva de pesquisa da Universidade de Columbia.[12]
Vida
Wing obteve seu S.B. e S.M. em Engenharia Elétrica e Ciência da Computação no MIT em junho de 1979, sob conselharia de Ronald Rivest e John Reiser. Em 1983, obteve seu doutorado em Ciência da Computação no MIT, sob a orientação de John Guttag. Wing também é faixa preta de quarto grau em Tang Soo Do.[13]
Carreira e pesquisa
Wing foi professora da Universidade do Sul da Califórnia de 1982 a 1985 e, posteriormente, professora da Carnegie Mellon de 1985 a 2012. Ela atuou como chefe do Departamento de Ciência da Computação de 2004 a 2007 e de 2010 a 2012. Em janeiro de 2013, ela tirou uma licença da Carnegie Mellon para trabalhar na Microsoft Research.
Wing tem sido um membro importante da comunidade de métodos formais, especialmente na área de Larch. Ela liderou muitos projetos de pesquisa e realizou diversas publicações.[14]
Com Barbara Liskov, ela desenvolveu o princípio de substituição de Liskov, publicado em 1993.
Ela também tem sido uma forte promotora do pensamento computacional, expressando as técnicas de resolução de problemas algorítmicos e de abstração usadas por cientistas da computação e como elas podem ser aplicadas em outras disciplinas.[5]
Ela é membro do conselho editorial dos seguintes periódicos:
- Foundations and Trends in Privacy and Security (co-Editora)
- Jornal da ACM
- Formal Aspects of Computing
- Formal Methods in System Design
- International Journal of Software and Informatics
- Journal of Information Science and Engineering
- Software Tools for Technology Transfer
Reconhecimento
Em 1998, Wing foi nomeada membro da Association for Computing Machinery "por contribuições fundamentais aos métodos formais, linguagens de programação e metodologia de programação, e por promover o uso de métodos formais no desenvolvimento de software".[15] Em 2003, Wing foi nomeada membro do Instituto de Engenheiros Eletricistas e Eletrônicos "por contribuições a métodos para sistemas de software".[16] Em 2024, Wing foi eleita membro da Academia Nacional de Engenharia por "formulação e defesa do pensamento computacional e por contribuições a métodos formais e computação confiável".[17]
Referências
- ↑ «Jeannette M. Wing Appointed Executive Vice President for Research». The Data Science Institute at Columbia University (em inglês). 18 de agosto de 2021. Consultado em 3 de dezembro de 2024
- ↑ «Jeannette Wing». Consultado em 6 de julho de 2014
- ↑ Clayton, Steve (20 de novembro de 2012). «Dr. Jeannette Wing: New Vice President, Head of Microsoft Research International». blogs.microsoft.com
- ↑ «President Bollinger Names Microsoft Research Head Jeannette Wing to Lead Columbia's Data Science Institute». Consultado em 1 de maio de 2017
- ↑ a b Wing, Jeanette M. (2006). «Computational thinking» (PDF). Communications of the ACM. 49 (3): 33–35. doi:10.1145/1118178.1118215
- ↑ Jeannette Wing; Woodcock; Davies, eds. (1999). FM'99 – Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I. Col: LNCS. 1708. [S.l.]: Springer-Verlag. ISBN 978-3-540-66587-8. doi:10.1007/3-540-48119-2
- ↑ Wing, Jeannette; Woodcock; Davies, eds. (1999). FM'99 – Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II. Col: LNCS. 1709. [S.l.]: Springer-Verlag. ISBN 978-3-540-66588-5. doi:10.1007/3-540-48118-4
- ↑ Ursula Martin; Wing, eds. (1993). Proceedings of the First International Workshop on Larch. Col: Workshops in Computing. [S.l.]: Springer-Verlag. ISBN 978-3-540-19804-8
- ↑ Garland, S. J.; Jones, K. D.; Modet, A.; Wing, J. M. (1993). Guttag; Horning, eds. Larch: Languages and Tools for Formal Specification. [S.l.]: Springer-Verlag. ISBN 978-1-4612-7636-4. doi:10.1007/978-1-4612-2704-5
- ↑ Herlihy, M. P.; Wing, J. M. (1990). «Linearizability: A correctness condition for concurrent objects». ACM Transactions on Programming Languages and Systems. 12 (3). 463 páginas. CiteSeerX 10.1.1.142.5315
. doi:10.1145/78969.78972
- ↑ Clarke, E. M.; Wing, J. M. (1996). «Formal methods: State of the art and future directions». ACM Computing Surveys. 28 (4). 626 páginas. CiteSeerX 10.1.1.60.8874. doi:10.1145/242223.242257
- ↑ «Jeannette Wing promoted to executive vice president for research - Columbia Spectator». Columbia Daily Spectator. Consultado em 18 de agosto de 2021
- ↑ McLaughlin, Kevin. «14 Tech Execs Who Could Probably Kick Your Butt In A Fight». Business Insider. Consultado em 9 de abril de 2021
- ↑ «Jeannette M. Wing». cs.cmu.edu
- ↑ «ACM Awards directory». ACM. Consultado em 26 de fevereiro de 2025
- ↑ «IEEE Fellows directory». IEEE. Consultado em 24 de julho de 2021
- ↑ «NAE Membership directory». NAE. Consultado em 26 de fevereiro de 2025