Jeannette Wing

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda
Jeannette Wing
Jeannette Wing, Davos 2013.jpg
Información personal
Nombre de nacimiento Jeannette Marie Wing
Nacimiento 1956 Ver y modificar los datos en Wikidata
Nacionalidad Estadounidense
Educación
Educada en Instituto Tecnológico de Massachusetts
Supervisor doctoral John Guttag Ver y modificar los datos en Wikidata
Información profesional
Ocupación Informática teórica, ingeniera y profesora de universidad Ver y modificar los datos en Wikidata
Empleador
Miembro de
Distinciones
  • Fellow of the Association for Computing Machinery (1998) Ver y modificar los datos en Wikidata
Web
Sitio web

Jeannette Marie Wing (1956) es una teórica informática e ingeniera estadounidense. Es directora de Avanessians del Instituto de Ciencias de Datos de la Universidad de Columbia, donde también es profesora de informática.[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 Presidenta de Ciencias de la Computación en la Universidad Carnegie Mellon, Pittsburgh, Pensilvania, Estados Unidos. También desempeñó como asistente del director de informática e ingeniería en la Fundación Nacional para la Cienciade 2007 a 2010.[4][5][6][7][8][9][10]

Educación[editar]

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 Ph.D. en Ciencias de la Computación en el MIT bajo la supervisión de John Guttag.

Carrera e investigación[editar]

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.

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 publicado ampliamente.[11]

Junto a Barbara Liskov, desarrolló el Principio de sustitución de Liskov, publicado en 1993.

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:

Referencias[editar]

  1. «President Bollinger Names Microsoft Research Head Jeannette Wing to Lead Columbia's Data Science Institute"». Consultado el 1 de mayo de 2017. 
  2. «Jeannette Wing». Consultado el 6 de julio de 2014. 
  3. Clayton, Steve (20 de noviembre de 2012). «Dr. Jeannette Wing: New Vice President, Head of Microsoft Research International». blogs.microsoft.com. 
  4. a b Wing, Jeanette M. (2006). «Computational thinking». Communications of the ACM 49 (3): 33. doi:10.1145/1118178.1118215. 
  5. Wing, Jeannette M; Woodcock, Jim; Davies, Jim, 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. LNCS 1708. Springer-Verlag. ISBN 978-3-540-66587-8. doi:10.1007/3-540-48119-2. 
  6. Wing, Jeannette M; Woodcock, Jim; Davies, Jim, 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. LNCS 1709. Springer-Verlag. ISBN 978-3-540-66588-5. doi:10.1007/3-540-48118-4. 
  7. Martin, U.; Wing, J. M., eds. (1993). Proceedings of the First International Workshop on Larch. Workshops in Computing. Springer-Verlag. ISBN 3-540-19804-0. 
  8. Garland, S. J.; Jones, K. D.; Modet, A.; Wing, J. M. (1993). Guttag, J. V.; Horning, J. J., eds. Larch: Languages and Tools for Formal Specification. Springer-Verlag. ISBN 978-1-4612-7636-4. doi:10.1007/978-1-4612-2704-5. 
  9. Herlihy, M. P.; Wing, J. M. (1990). «Linearizability: A correctness condition for concurrent objects». ACM Transactions on Programming Languages and Systems 12 (3): 463. doi:10.1145/78969.78972. 
  10. Clarke, E. M.; Wing, J. M. (1996). «Formal methods: State of the art and future directions». ACM Computing Surveys 28 (4): 626. doi:10.1145/242223.242257. 
  11. «Jeannette M. Wing». cs.cmu.edu. 

Enlaces externos[editar]