Jeannette Wing

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Jeannette Wing
Jeannette Wing, Davos 2013.jpg
Speaking at the World Economic Forum in Davos, Switzerland, on January 26, 2013.
Born Jeannette Marie Wing
Nationality American
Fields Computer science
Institutions Carnegie Mellon University
Alma mater Massachusetts Institute of Technology
Thesis A Two-Tiered Approach to Specifying Programs (1983)
Doctoral advisor John Guttag[1]
Doctoral students
  • C. Damon
  • D. Detlefs
  • B. Horn
  • D. Kindred
  • F. Knabe ·
  • R. Lerner
  • G. Morrisett
  • S. Nettles
  • R. O'Callahan ·
  • O. Sheyner
  • M. Tschantz
  • H. Wong
  • T. Wong
  • A. Zaremski[1]
Website
www.cs.cmu.edu/~wing/

Jeannette Marie Wing is Corporate Vice President of Microsoft Research with oversight of its core research laboratories around the world and Microsoft Research Connections.[2][3] 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.[4][5][6][7][8][9][10][11][12][13]

Education[edit]

Wing earned her S.B. and S.M. in Electrical Engineering and Computer Science at MIT in June 1979. Her advisers were Ronald Rivest and John Reiser. In 1983, she earned her Ph.D. in Computer Science at MIT under John Guttag.[14]

With Barbara Liskov, she developed the Liskov substitution principle, published in 1993.

She has also been a strong promoter of computational thinking, expressing the algorithmic problem-solving and abstraction techniques used by computer scientists and how they might be applied in other disciplines.[4]

She is a member of the editorial board of the following journals:

References[edit]

  1. ^ a b c Jeannette Wing at the Mathematics Genealogy Project
  2. ^ "Jeannette Wing". Retrieved July 6, 2014. 
  3. ^ http://blogs.technet.com/b/next/archive/2012/11/20/dr-jeannette-wing-new-vice-president-head-of-microsoft-research-international.aspx
  4. ^ a b Wing, Jeanette M. (2006). "Computational thinking" (PDF). 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. doi:10.1007/3-540-48119-2. ISBN 978-3-540-66587-8. 
  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. doi:10.1007/3-540-48118-4. ISBN 978-3-540-66588-5. 
  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. doi:10.1007/978-1-4612-2704-5. ISBN 978-1-4612-7636-4. 
  9. ^ Jeannette M. Wing at DBLP Bibliography Server
  10. ^ Jeannette Wing's publications indexed by the Scopus bibliographic database, a service provided by Elsevier. (subscription required)
  11. ^ Jeannette Wing from the ACM Digital Library
  12. ^ 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. 
  13. ^ 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. 
  14. ^ http://www.cs.cmu.edu/afs/cs/usr/wing/www/publications/

External links[edit]