Ala Jeannette

Da Wikipédia, a enciclopédia livre
Ir para a navegação Saltar para pesquisar
Ala Jeannette
Ala Jeannette, Davos 2013.jpg
Falando no Fórum Econômico Mundial
em Davos , Suíça, em 26 de janeiro de 2013.
Nascer
Ala Jeannette Marie

( 1956-12-04 )4 de dezembro de 1956
Nacionalidadeamericano
Alma materInstituto de Tecnologia de Massachusetts
Carreira científica
CamposCiência da Computação
InstituiçõesUniversidade de Columbia , Universidade
Carnegie Mellon ,
Universidade do Sul da Califórnia
TeseUma abordagem de dois níveis para especificar programas  (1983)
Orientador de doutoradoJohn Guttag [1]
Estudantes de doutoradoGreg Morrisett [1]
Local na rede Internetcs .cmu .edu /~wing /

Jeannette Marie Wing é Diretora Avanessians do Data Science Institute da Columbia University , onde também é professora de ciência da computação . [2] Até 30 de junho de 2017, ela foi vice-presidente corporativa da Microsoft Research com supervisão de seus principais laboratórios de pesquisa em todo o mundo e da Microsoft Research Connections. [3] [4] Antes de 2013, ela foi Professora Presidente de Ciência da Computação na Carnegie Mellon University , Pittsburgh , Pensilvânia , Estados Unidos . Ela também atuou como diretora assistente de Ciência e Engenharia da Computação e da Informação naNSF de 2007 a 2010. [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] Ela foi nomeada vice-presidente executiva da Universidade de Columbia para pesquisa em 2021. [15]

Plano de fundo

Wing obteve seu SB e SM em Engenharia Elétrica e Ciência da Computação no MIT em junho de 1979. Seus conselheiros foram Ronald Rivest e John Reiser. Em 1983, ela obteve seu Ph.D. em Ciência da Computação no MIT sob John Guttag . [1] Ela é faixa preta de quarto grau em Tang Soo Do. [16]

Carreira e pesquisa

Wing fez parte do corpo docente da University of Southern California de 1982 a 1985 e depois do corpo docente 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 dos principais membros da comunidade de métodos formais , especialmente na área de Larch . Ela liderou muitos projetos de pesquisa e publicou amplamente. [17]

Com Barbara Liskov , ela desenvolveu o princípio da substituição de Liskov , publicado em 1993.

Ela também tem sido uma forte promotora do pensamento computacional , expressando as técnicas algorítmicas de resolução de problemas e abstração usadas por cientistas da computação e como elas podem ser aplicadas em outras disciplinas. [5]

É membro do conselho editorial dos seguintes periódicos:

Reconhecimento

Wing foi nomeado Fellow do IEEE em 2003, "por contribuições para métodos para sistemas de software". [18]

Referências

  1. ^ a b c Jeannette Wing no projeto de genealogia de matemática
  2. ^ "Presidente Bollinger nomeia a chefe de pesquisa da Microsoft, Jeannette Wing, para liderar o Data Science Institute da Columbia" . Recuperado em 1 de maio de 2017 .
  3. ^ "Ala Jeannette" . Recuperado em 6 de julho de 2014 .
  4. Clayton, Steve (20 de novembro de 2012). "Dra. Jeannette Wing: Nova Vice-Presidente, Chefe da Microsoft Research International" . blogs.microsoft . com .
  5. ^ a b Asa, Jeanette M. (2006). "Pensamento computacional" (PDF) . Comunicações da ACM . 49 (3): 33–35. doi : 10.1145/1118178.1118215 . HD : 10818/29866 . S2CID 1693513 .  
  6. ^ Asa, Jeannette M ; Woodcock, Jim ; Davies, Jim, eds. (1999). FM'99 – Métodos Formais: Congresso Mundial sobre Métodos Formais no Desenvolvimento de Sistemas Computacionais Toulouse, França, 20 a 24 de setembro de 1999 Anais, Volume I . LNC . Vol. 1708. Springer-Verlag . doi : 10.1007/3-540-48119-2 . ISBN 978-3-540-66587-8. S2CID  36821080 .
  7. ^ Asa, Jeannette M ; Woodcock, Jim ; Davies, Jim, eds. (1999). FM'99 – Métodos Formais: Congresso Mundial sobre Métodos Formais no Desenvolvimento de Sistemas Computacionais Toulouse, França, 20-24 de setembro de 1999 Anais, Volume II . LNC . Vol. 1709. Springer-Verlag . doi : 10.1007/3-540-48118-4 . ISBN 978-3-540-66588-5. S2CID  2986421 .
  8. ^ Martin, U. ; Asa, JM , eds. (1993). Anais do Primeiro Workshop Internacional sobre Lariço . Oficinas de Computação. Springer-Verlag . ISBN 978-3-540-19804-8.
  9. ^ Guirlanda, SJ; Jones, KD; Modet, A.; Asa, JM (1993). Guttag, JV ; Horning, JJ (eds.). Larch: Linguagens e Ferramentas para Especificação Formal . Springer-Verlag . CiteSeerX 10.1.1.137.5123 . doi : 10.1007/978-1-4612-2704-5 . ISBN  978-1-4612-7636-4. S2CID  13066418 .
  10. ^ Jeannette M. Wing no DBLP Bibliography ServerEdite isso no Wikidata
  11. ^ Publicações de Jeannette Wing indexadas pelobanco de dados bibliográfico Scopus . (assinatura obrigatória)
  12. ^ página de perfil do autor Jeannette Wing na Biblioteca Digital ACM
  13. ^ Herlihy, deputado; Asa, JM (1990). "Linearizabilidade: Uma condição de correção para objetos simultâneos". Transações ACM em Linguagens e Sistemas de Programação . 12 (3): 463. CiteSeerX 10.1.1.142.5315 . doi : 10.1145/78969.78972 . S2CID 228785 .  
  14. ^ Clarke, EM; Asa, JM (1996). "Métodos formais: Estado da arte e direções futuras". Pesquisas de Computação ACM . 28 (4): 626. CiteSeerX 10.1.1.60.8874 . doi : 10.1145/242223.242257 . S2CID 5534240 .  
  15. ^ "Jeannette Wing promovida a vice-presidente executiva de pesquisa - Columbia Spectator" . Columbia Daily Spectator . Recuperado 2021-08-18 .
  16. ^ McLaughlin, Kevin. "14 executivos de tecnologia que provavelmente poderiam chutar sua bunda em uma briga" . Insider de Negócios . Recuperado 2021-04-09 .
  17. ^ "Jeannette M. Wing" . cs.cmu.edu .
  18. ^ "Diretório IEEE Fellows" . IEEE . Recuperado 2021-07-24 .

Links externos