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 4 de diciembre de 1956 Ver y modificar los datos en Wikidata (64 años)
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
  • ACM Fellow (1998)
  • ACM Distinguished Service Award (2014) 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 Avanessians 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]