Jeannette Wing

From Infogalactic: the planetary knowledge core
(Redirected from Jeannette M. Wing)
Jump to: navigation, search
Jeannette Wing
File: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

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

Career and research

Wing was on the faculty of the University of Southern California from 1982 to 1985 and then the faculty of Carnegie Mellon from 1985 to 2012. She served as the head of the Computer Science Department from 2004 to 2007 and from 2010 to 2012. In January 2013, she took a leave from Carnegie Mellon to work at Microsoft Research.

Wing has been a leading member of the formal methods community, especially in the area of Larch. She has led many research projects and has published widely.[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

<templatestyles src="Reflist/styles.css" />

Cite error: Invalid <references> tag; parameter "group" is allowed only.

Use <references />, or <references group="..." />

External links

Lua error in package.lua at line 80: module 'strict' not found.


<templatestyles src="Asbox/styles.css"></templatestyles>

Flag of United StatesScientist icon

This article about an American scientist in academia is a stub. You can help Wikipedia by expanding it.
  1. ↑ 1.0 1.1 1.2 Jeannette Wing at the Mathematics Genealogy Project
  2. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  3. ↑ http://blogs.technet.com/b/next/archive/2012/11/20/dr-jeannette-wing-new-vice-president-head-of-microsoft-research-international.aspx
  4. ↑ 4.0 4.1 Lua error in package.lua at line 80: module 'strict' not found.
  5. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  6. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  7. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  8. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  9. ↑ Jeannette Wing's publications indexed by the DBLP Bibliography Server at the University of Trier
  10. ↑ Jeannette Wing's publications indexed by the Scopus bibliographic database, a service provided by Elsevier.
  11. ↑ Jeannette Wing from the Association for Computing Machinery (ACM) Digital Library
  12. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  13. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  14. ↑ http://www.cs.cmu.edu/afs/cs/usr/wing/www/publications/
Retrieved from "https://infogalactic.com/w/index.php?title=Jeannette_Wing&oldid=711952222"