Speaking at the World Economic Forum in Davos, Switzerland, on January 26, 2013.
Born
Jeannette Marie Wing
(1956-12-04) 4 December 1956 (age 67)
Nationality
American
Alma mater
Massachusetts Institute of Technology (BS, MS, PhD)
Scientific career
Fields
Computer science
Institutions
Columbia University, Carnegie Mellon University, University of Southern California
Thesis
A Two-Tiered Approach to Specifying Programs(1983)
Doctoral advisor
John Guttag[1]
Doctoral students
Greg Morrisett[1]
Website
cs.cmu.edu/~wing/
Jeannette Marie Wing is Avanessians Director of the Data Science Institute at Columbia University, where she is also a professor of computer science.[2] Until June 30, 2017, she was Corporate Vice President of Microsoft Research with oversight of its core research laboratories around the world and Microsoft Research Connections.[3][4] Prior to 2013, she was the President's Professor of Computer Science at Carnegie Mellon University, Pittsburgh, Pennsylvania, United States. She also served as assistant director for Computer and Information Science and Engineering at the NSF from 2007 to 2010.[5][6][7][8][9][10][11][12][13][14] She was appointed the Columbia University executive vice president for research in 2021.[15]
^ abJeannette Wing at the Mathematics Genealogy Project
^"President Bollinger Names Microsoft Research Head Jeannette Wing to Lead Columbia's Data Science Institute". Retrieved May 1, 2017.
^"Jeannette Wing". Retrieved July 6, 2014.
^Clayton, Steve (November 20, 2012). "Dr. Jeannette Wing: New Vice President, Head of Microsoft Research International". blogs.microsoft.com.
^Wing, Jeanette M. (2006). "Computational thinking" (PDF). Communications of the ACM. 49 (3): 33–35. doi:10.1145/1118178.1118215. hdl:10818/29866. S2CID 1693513.
^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. Vol. 1708. Springer-Verlag. doi:10.1007/3-540-48119-2. ISBN 978-3-540-66587-8. S2CID 36821080.
^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. Vol. 1709. Springer-Verlag. doi:10.1007/3-540-48118-4. ISBN 978-3-540-66588-5. S2CID 2986421.
^Martin, U.; Wing, J. M., eds. (1993). Proceedings of the First International Workshop on Larch. Workshops in Computing. Springer-Verlag. ISBN 978-3-540-19804-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. CiteSeerX 10.1.1.137.5123. doi:10.1007/978-1-4612-2704-5. ISBN 978-1-4612-7636-4. S2CID 13066418.
^Jeannette M. Wing at DBLP Bibliography Server
^Jeannette Wing's publications indexed by the Scopus bibliographic database. (subscription required)
^Jeannette Wing author profile page at the ACM Digital Library
^Herlihy, M. P.; Wing, J. M. (1990). "Linearizability: A correctness condition for concurrent objects". ACM Transactions on Programming Languages and Systems. 12 (3): 463. CiteSeerX 10.1.1.142.5315. doi:10.1145/78969.78972. S2CID 228785.
^Clarke, E. M.; Wing, J. M. (1996). "Formal methods: State of the art and future directions". ACM Computing Surveys. 28 (4): 626. CiteSeerX 10.1.1.60.8874. doi:10.1145/242223.242257. S2CID 5534240.
^"Jeannette Wing promoted to executive vice president for research - Columbia Spectator". Columbia Daily Spectator. Retrieved 2021-08-18.
Jeannette Marie Wing is Avanessians Director of the Data Science Institute at Columbia University, where she is also a professor of computer science. Until...
types in a hierarchy, object types in particular. Barbara Liskov and JeannetteWing described the principle succinctly in a 1994 paper as follows: Subtype...
mutable objects, the ideal notion of subtyping defined by Liskov and JeannetteWing, called behavioral subtyping is considerably stronger than what can...
as a result of a Communications of the ACM essay on the subject by JeannetteWing. The essay suggested that thinking computationally was a fundamental...
|journal= (help) Monin, pp.3-4 X2R-2, deliverable D5.1. Daniel Jackson and JeannetteWing, "Lightweight Formal Methods", IEEE Computer, April 1996 Vinu George...
promise pipelining; and Thor, an object-oriented database system. With JeannetteWing, she developed a particular definition of subtyping, commonly known...
University Harvard University Thesis Compiling with Types (1995) Doctoral advisor Robert Harper JeannetteWing Website tech.cornell.edu/people/greg-morrisett/...
Wrinch (1894–1976), British mathematician and theoretical biochemist JeannetteWing (born 1956), American computer scientist, Microsoft Corporate Vice President...
Addison-Wesley. ISBN 0-201-65768-6. Garland, S. J.; Jones, K. D.; Modet, A.; Wing, J. M. (1993). Guttag, J. V.; Horning, J. J. (eds.). Larch: Languages and...
Kaput, a director within the U.S. Food and Drug Administration; and JeannetteWing, President’s Professor of Computer Science and department head of the...
For the analysis and mathematical modeling of Internet traffic 2003 JeannetteWing For contributions to methods for software systems. 1991 Arthur Winston...
what she presented in her keynote address was an "informal rule", that JeannetteWing later proposed that they "try to figure out precisely what this means"...
the invention of zero-knowledge proofs. Barbara Liskov together with JeannetteWing, developed the Liskov substitution principle. Liskov was also the winner...
developed the two-level Van Wijngaarden grammar, expounded continuations JeannetteWing, early work included A behavioral notion of subtyping, influential in...
Jeanne Dumée Jeanne Ferrante Jeanne Villepreux-Power Jeanette Scissum JeannetteWing Jeehiun Lee Jemma Geoghegan Jennifer Tour Chayes Jennifer Doudna Jenny...
Sammy Obeid; Director of Columbia University's Data Science Institute, JeannetteWing; and Turkish journalist Mustafa Akyol. Robert Reich, former Secretary...
Erich Anderson 67 Actor (Thirtysomething, Melrose Place, Felicity) June 2 Jeannette Charles 96 British actress and Elizabeth II impersonator (Saturday Night...
Ladbroke Grove. It is currently run by co-managing directors Travis and Jeannette Lee and is affiliated to Beggars Group. Having successfully promoted and...
siding, and soffit removed. The tornado moved across the Greensburg Jeannette Regional Airport, snapping a tree. EF1 Northeastern Pittsburgh Allegheny...