stringtranslate.com

Ala Jeannette

Jeannette Marie Wing es directora del Instituto de Ciencias de Datos de la Universidad de Columbia , donde también es profesora de informática . [2] Hasta el 30 de junio de 2017, fue vicepresidenta corporativa de Microsoft Research con la supervisión de sus principales laboratorios de investigación en todo el mundo y Microsoft Research Connections. [3] [4] Antes de 2013, fue profesora presidencial de Ciencias de la Computación en la Universidad Carnegie Mellon , Pittsburgh , Pensilvania , Estados Unidos . También se desempeñó como directora adjunta de Ciencias de la Computación e Ingeniería de la Información en la NSF de 2007 a 2010. [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] Fue nombrada vicepresidenta ejecutiva de investigación de la Universidad de Columbia en 2021. [15]

Fondo

Wing obtuvo su SB y su SM en Ingeniería Eléctrica y Ciencias de la Computación en el MIT en junio de 1979. Sus asesores fueron Ronald Rivest y John Reiser. En 1983, obtuvo su doctorado en Ciencias de la Computación en el MIT con John Guttag . [1] Es cinturón negro de cuarto grado en Tang Soo Do. [ 16]

Carrera e investigación

Wing fue profesora de la Universidad del Sur de California de 1982 a 1985 y luego de Carnegie Mellon de 1985 a 2012. Trabajó como jefa del Departamento de Ciencias de la Computación de 2004 a 2007 y de 2010 a 2012. En enero de 2013, se tomó una licencia de Carnegie Mellon para trabajar en Microsoft Research.

Wing ha sido un miembro destacado de la comunidad de métodos formales , especialmente en el área de Larch . Ha dirigido numerosos proyectos de investigación y ha publicado numerosos artículos. [17]

Con Barbara Liskov desarrolló el principio de sustitución de Liskov , publicado en 1993.

También ha sido una fuerte promotora del pensamiento computacional , expresando las técnicas de resolución de problemas algorítmicos y de abstracción utilizadas por los científicos informáticos y cómo podrían aplicarse en otras disciplinas. [5]

Es miembro del consejo editorial de las siguientes revistas:

Reconocimiento

Wing fue nombrado miembro del IEEE en 2003, "por sus contribuciones a los métodos para sistemas de software". [18]

Referencias

  1. ^ abc Jeannette Wing en el Proyecto de Genealogía Matemática
  2. ^ "El presidente Bollinger nombra a Jeannette Wing, directora de investigación de Microsoft, para dirigir el Instituto de Ciencias de Datos de Columbia" . Consultado el 1 de mayo de 2017 .
  3. ^ "Jeannette Wing" . Consultado el 6 de julio de 2014 .
  4. ^ Clayton, Steve (20 de noviembre de 2012). "Dra. Jeannette Wing: nueva vicepresidenta y directora de Microsoft Research International". blogs.microsoft.com .
  5. ^ ab Wing, Jeanette M. (2006). "Pensamiento computacional" (PDF) . Comunicaciones de la ACM . 49 (3): 33–35. doi :10.1145/1118178.1118215. hdl : 10818/29866 . S2CID  : 1693513.
  6. ^ Wing, Jeannette M; Woodcock, Jim ; Davies, Jim, eds. (1999). FM'99 – Métodos formales: Congreso mundial sobre métodos formales en el desarrollo de sistemas informáticos Toulouse, Francia, 20-24 de septiembre de 1999 Actas, Volumen I . LNCS . Vol. 1708. Springer-Verlag . doi :10.1007/3-540-48119-2. ISBN 978-3-540-66587-8.S2CID36821080  .​
  7. ^ Wing, Jeannette M; Woodcock, Jim ; Davies, Jim, eds. (1999). FM'99 – Métodos formales: Congreso mundial sobre métodos formales en el desarrollo de sistemas informáticos Toulouse, Francia, 20-24 de septiembre de 1999 Actas, Volumen II . LNCS . Vol. 1709. Springer-Verlag . doi :10.1007/3-540-48118-4. ISBN 978-3-540-66588-5. Número de identificación del sujeto  2986421.
  8. ^ Martin, U. ; Wing, JM, eds. (1993). Actas del Primer Taller Internacional sobre Larch . Talleres en Computación. Springer-Verlag . ISBN 978-3-540-19804-8.
  9. ^ Garland, SJ; Jones, KD; Modet, A.; Wing, JM (1993). Guttag, JV ; Horning, JJ (eds.). Larch: Lenguajes y herramientas para la especificación formal . Springer-Verlag . CiteSeerX 10.1.1.137.5123 . doi :10.1007/978-1-4612-2704-5. ISBN .  978-1-4612-7636-4.S2CID13066418  .​
  10. ^ Jeannette M. Wing en el servidor de bibliografía DBLP
  11. ^ Publicaciones de Jeannette Wing indexadas en la base de datos bibliográfica Scopus . (requiere suscripción)
  12. ^ Página de perfil de la autora Jeannette Wing en la Biblioteca Digital ACM
  13. ^ Herlihy, MP; Wing, JM (1990). "Linearizabilidad: Una condición de corrección para objetos concurrentes". ACM Transactions on Programming Languages ​​and Systems . 12 (3): 463. CiteSeerX 10.1.1.142.5315 . doi :10.1145/78969.78972. S2CID  228785. 
  14. ^ Clarke, EM; Wing, JM (1996). "Métodos formales: estado del arte y direcciones futuras". ACM Computing Surveys . 28 (4): 626. CiteSeerX 10.1.1.60.8874 . doi :10.1145/242223.242257. S2CID  5534240. 
  15. ^ "Jeannette Wing ascendida a vicepresidenta ejecutiva de investigación - Columbia Spectator". Columbia Daily Spectator . Consultado el 18 de agosto de 2021 .
  16. ^ McLaughlin, Kevin. "14 ejecutivos de tecnología que probablemente podrían patearte el trasero en una pelea". Business Insider . Consultado el 9 de abril de 2021 .
  17. ^ "Jeannette M. Wing". cs.cmu.edu .
  18. ^ "Directorio de becarios IEEE". IEEE . Consultado el 24 de julio de 2021 .

Enlaces externos


  • v
  • t
  • e