Jeannette Wing

Jeannette Wing

Información personal
Nombre de nacimiento Jeannette Marie Wing
Nacimiento 4 de diciembre de 1956 Ver y modificar los datos en Wikidata (67 años)
Newark (Estados Unidos) 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
Área Ciencias de la computación, inteligencia artificial, lenguaje de programación y sistema informático Ver y modificar los datos en Wikidata
Empleador
Afiliaciones Carnegie Mellon University Press y Universidad de Columbia Ver y modificar los datos en Wikidata
Miembro de
Sitio web
Distinciones
  • ACM Fellow (1998)
  • ACM Distinguished Service Award (2014) Ver y modificar los datos en Wikidata
[editar datos en Wikidata]

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]​

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 doctorado en ciencias de la computación en el MIT, bajo la supervisión de John Guttag.[cita requerida]

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.[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:

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]