Jeannette Wing

Jeannette Marie Wing (1956) es una teórica informática e ingeniera estadounidense. Es directora del Instituto de Ciencias de Datos de la Universidad de Columbia, donde también es profesora de ciencias de la computación.^[1] Hasta el 30 de junio de 2017, fue vicepresidenta corporativa de Microsoft Research con supervisión de sus laboratorios de investigación principales en todo el mundo y Microsoft Research Connections.^[2][3] Antes de 2013, fue profesora de ciencias de la computación en la Universidad Carnegie Mellon, Pittsburgh, Pensilvania, Estados Unidos. También se desempeñó como directora asistente de ciencias de la computación e información en la Fundación Nacional para la Ciencia de 2007 a 2010.^{[4][5][6][7][8][9][10]}

Jeannette Wing
Foro Económico Mundial de Davos, en 2013.
Información personal
Nombre de nacimiento	Jeannette Marie Wing
Nacimiento	4 de diciembre de 1956 (68 años) Newark (Estados Unidos)
Nacionalidad	estadounidense
Educación
Educada en	Instituto Tecnológico de Massachusetts
Supervisor doctoral	John Guttag
Información profesional
Ocupación	Informática teórica, ingeniera y profesora de universidad
Área	Ciencias de la computación, inteligencia artificial, lenguaje de programación y sistema informático
Empleador	Universidad Carnegie Mellon Microsoft Research Universidad de Columbia Universidad del Sur de California (1983-1985) DIMACS (2007-2010)
Afiliaciones	Carnegie Mellon University Press y Universidad de Columbia
Miembro de	Academia Estadounidense de las Artes y las Ciencias Association for Computing Machinery (desde 1998)
Sitio web	cs.cmu.edu/~wing/
Distinciones	ACM Fellow (1998) Beca de la Asociación Estadounidense para el Avance de la Ciencia (2007) ACM Distinguished Service Award (2014)
[editar datos en Wikidata]

Educación

Wing obtuvo su S.B. y S.M. 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, bajo la supervisión de John Guttag.^{[cita requerida]}

Carrera e investigación

Wing se incorporó a la facultad de la Universidad del Sur de California de 1982 a 1985 y posteriormente a la facultad de Carnegie Mellon de 1985 a 2012. Ejerció como directora del Departamento de Informática de 2004 a 2007 y de 2010 a 2012. En enero de 2013, se despidió de Carnegie Mellon para trabajar en Microsoft Research.^{[cita requerida]}

Wing ha sido un miembro líder de la comunidad de métodos formales, especialmente en el área de Larch. Ha dirigido numerosos proyectos de investigación y ha hecho muchas publicaciones.^[11]

Junto a Barbara Liskov, desarrolló el principio de sustitución de Liskov, publicado en 1993.^{[cita requerida]}

También ha sido importante promotora del pensamiento computacional, expresando las técnicas algorítmicas de resolución de problemas y abstracción usadas por la ciencia informática y su aplicación en otras disciplinas.^[4]

Es miembro del consejo editorial de las siguientes revistas:

• Foundations and Trends in Privacy and Security (co-Editor-in-Chief)
• Journal of the ACM
• Formal Aspects of Computing (North American Editor)
• Formal Methods in System Design
• International Journal of Software and Informatics
• Journal of Information Science and Engineering
• Software Tools for Technology Transfer