Jeannette Wing

Plantilla:Infotaula personaJeannette Wing
Imatge
(2013) Modifica el valor a Wikidata
Biografia
Naixement4 desembre 1956 Modifica el valor a Wikidata (68 anys)
Newark (Nova Jersey) Modifica el valor a Wikidata
FormacióInstitut de Tecnologia de Massachusetts - Philosophiæ doctor Modifica el valor a Wikidata
Director de tesiJohn Guttag Modifica el valor a Wikidata
Activitat
Camp de treballCiències de la computació, intel·ligència artificial, llenguatge de programació i sistema informàtic Modifica el valor a Wikidata
Ocupacióinformàtica, enginyera, professora d'universitat Modifica el valor a Wikidata
OcupadorDIMACS (2007–2010)
Universitat del Sud de Califòrnia, professora ajudant (1983–1985)
Microsoft Research
Universitat Carnegie Mellon Modifica el valor a Wikidata
Membre de
Participà en
23 gener 2018Trobada Anual del Fòrum Econòmic Mundial de 2018
23 gener 2013Trobada Anual del Fòrum Econòmic Mundial de 2013 Modifica el valor a Wikidata
Obra
Estudiant doctoralGreg Morrisett, Robert Weeks O'Callahan, Oleg Mikhail Sheyner, Craig Arthur Damon, Hao Chi Wong, Darrell Scott Kindred, Frederick Knabe, Scott McBride Nettles, Amy Moormann Zaremski, David Detlefs, Richard Lerner, Bruce Lawrence Horn, Theodore Ming-Tao Wong, Michael Carl Tschantz i Pratyusa Kumar Manadhata Modifica el valor a Wikidata
Premis
Lloc webcs.cmu.edu… Modifica el valor a Wikidata

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.[1] 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.[2][3] 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.[4][5][6][7][8][9][10]

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

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

  1. ↑ «President Bollinger Names Microsoft Research Head Jeannette Wing to Lead Columbia's Data Science Institute"». [Consulta: 1r maig 2017].
  2. ↑ «Jeannette Wing». [Consulta: 6 juliol 2014].
  3. ↑ [enllaç sense format] http://blogs.technet.com/b/next/archive/2012/11/20/dr-jeannette-wing-new-vice-president-head-of-microsoft-research-international.aspx
  4. ↑ Wing, Jeanette M. «Computational thinking». Communications of the ACM, 49, 3, 2006, pàg. 33. DOI: 10.1145/1118178.1118215.
  5. ↑ 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. 
  6. ↑ 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. 
  7. ↑ Proceedings of the First International Workshop on Larch. Springer-Verlag, 1993. ISBN 3-540-19804-0. 
  8. ↑ 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. 
  9. ↑ 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.
  10. ↑ 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.
  11. ↑ [enllaç sense format] http://www.cs.cmu.edu/afs/cs/usr/wing/www/publications/

Enllaços externs