# Jeannette Wing

Jeannette Marie Wing és la directora de Ciència de dades a l'Institut Avanessians de la Universitat de Colúmbia, d'on també n'és professora d'informàtica. Fins al 30 de juny de 2017, va ser Vicepresidenta Corporativa de Recerca de Microsoft on supervisava els laboratoris de recerca principals d'arreu del món i Microsoft Research Connections. Abans de 2013 va ser la professora presidenta d'Informàtica a la Univ, sigui la Presidenta Professor d'Informàtica a la Universitat Carnegie Mellon. També va fer de Directora Adjunta d'Informàtica i Ciències de la Informació i Enginyeria a la NSF de 2007 a 2010.

## Educació

Es va llicenciar en Informàtica i Enginyeria Elèctrica al MIT el juny 1979. Els seus assessors van ser Ronald Rivest i John Reiser. Es va doctorar el 1983 pel MIT sota la direcció de John Guttag.

## Carrera i recerca

Va ser a la Universitat de Califòrnia Del sud de 1982 a 1985 i després a la Carnegie Mellon de 1985 a 2012. Va ser cap del Departament d'Informàtica de 2004 a 2007 i de 2010 a 2012. El gener de 2013, va agafar una excedència de la Carnegie Mellon per anar a treballar a Microsoft Research.
Va liderar la comunitat de mètodes formals, especialment en l'àrea de Larch. Ha dirigit molts projectes de recerca i ha publicat profusament.
Amb Barbara Liskov, va desenvolupar el Principi de substitució de Liskov, publicat el 1993.
També ha estat una gran promotora del pensament computacional, expressant la resolució de problemes amb algorítmia i tècniques d'abstracció utilitzades per informàtics i com podrien aplicar-se altres disciplines.
Forma part del consell editorial de les següents revistes:
* Fundacions i Tendències dins Intimitat i Seguretat ((co-Editor-in-Chief))
* Revista de l'ACM
* Aspectes formals d'Informàtica ((North American Editor))
* Mètodes formals dins Disseny de Sistema
* Revista internacional de Programari i Informatics
* Revista de Ciència d'Informació i Enginyeria
* Eines de programari per Transferència de Tecnologia

## Referències

* ↑ «President Bollinger Names Microsoft Research Head Jeannette Wing to Lead Columbia's Data Science Institute"». [Consulta: 1r maig 2017].
* ↑ «Jeannette Wing». [Consulta: 6 juliol 2014].
* ↑ http://blogs.technet.com/b/next/archive/2012/11/20/dr-jeannette-wing-new-vice-president-head-of-microsoft-research-international.aspx
* ↑ Wing, Jeanette M. «Computational thinking». Communications of the ACM, 49, 3, 2006, pàg. 33. DOI: 10.1145/1118178.1118215.
* ↑ FM'99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I. 1708. Springer-Verlag, 1999. DOI 10.1007/3-540-48119-2. ISBN 978-3-540-66587-8.
* ↑ FM'99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II. 1709. Springer-Verlag, 1999. DOI 10.1007/3-540-48118-4. ISBN 978-3-540-66588-5.
* ↑ Proceedings of the First International Workshop on Larch. Springer-Verlag, 1993. ISBN 3-540-19804-0.
* ↑ Garland, S. J.; Jones, K. D.; Modet, A.; Wing, J. M.. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993. DOI 10.1007/978-1-4612-2704-5. ISBN 978-1-4612-7636-4.
* ↑ Herlihy, M. P.; Wing, J. M. «Linearizability: A correctness condition for concurrent objects». ACM Transactions on Programming Languages and Systems, 12, 3, 1990, pàg. 463. DOI: 10.1145/78969.78972.
* ↑ Clarke, E. M.; Wing, J. M. «Formal methods: State of the art and future directions». ACM Computing Surveys, 28, 4, 1996, pàg. 626. DOI: 10.1145/242223.242257.
* ↑ http://www.cs.cmu.edu/afs/cs/usr/wing/www/publications/

## Enllaços externs

* Aaronson, Lauren, Q&Un
* Jon Udell Entrevistes amb Innovadors - Jeannette Wing