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 |
| |
| Afiliaciones | Carnegie Mellon University Press y Universidad de Columbia | |
| Miembro de | ||
| Sitio web | ||
| Distinciones |
| |
Educación
editarWing 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
editarWing 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
Referencias
editar- ↑ «President Bollinger Names Microsoft Research Head Jeannette Wing to Lead Columbia's Data Science Institute"». Consultado el 1 de mayo de 2017.
- ↑ «Jeannette Wing». Consultado el 6 de julio de 2014.
- ↑ Clayton, Steve (20 de noviembre de 2012). «Dr. Jeannette Wing: New Vice President, Head of Microsoft Research International». blogs.microsoft.com.
- ↑ a b Wing, Jeanette M. (2006). «Computational thinking». Communications of the ACM 49 (3): 33. doi:10.1145/1118178.1118215.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ «Jeannette M. Wing». cs.cmu.edu.
Enlaces externos
editar
Datos: Q16490
Multimedia: Jeannette Wing / Q16490
