| Revision as of 02:58, 11 June 2016 editLook2See1 (talk | contribs)Extended confirmed users227,698 edits →External links← Previous edit | Revision as of 19:11, 18 October 2016 edit undo50.53.1.33 (talk) DBLPNext edit → | ||
| Line 22: | Line 22: | ||
| '''Jeannette Marie Wing''' is Corporate Vice President of ] with oversight of its core research laboratories around the world and Microsoft Research Connections.<ref>{{cite web |url=http://research.microsoft.com/en-us/press/jeannette-wing.aspx |title=Jeannette Wing |accessdate=July 6, 2014}}</ref><ref>http://blogs.technet.com/b/next/archive/2012/11/20/dr-jeannette-wing-new-vice-president-head-of-microsoft-research-international.aspx</ref> <!-- | '''Jeannette Marie Wing''' is Corporate Vice President of ] with oversight of its core research laboratories around the world and Microsoft Research Connections.<ref>{{cite web |url=http://research.microsoft.com/en-us/press/jeannette-wing.aspx |title=Jeannette Wing |accessdate=July 6, 2014}}</ref><ref>http://blogs.technet.com/b/next/archive/2012/11/20/dr-jeannette-wing-new-vice-president-head-of-microsoft-research-international.aspx</ref> <!-- | ||
| -->Prior to 2013, she was the President's Professor of ] at ], ], ], ]. She also served as assistant director for Computer and Information Science and Engineering at the ] from 2007 to 2010.<ref name="compthink">{{Cite journal | doi = 10.1145/1118178.1118215| title = Computational thinking| journal = ]| volume = 49| issue = 3| pages = 33| year = 2006| url = https://www.cs.cmu.edu/~15110-s13/Wing06-ct.pdf| last1 = Wing | first1 = Jeanette M. | authorlink = Jeannette Wing}}</ref><ref>{{Cite book| editor1-last = Wing | editor1-first = Jeannette M | editor1-link = Jeannette Wing| editor2-last = Woodcock | editor2-first = Jim | editor2-link = Jim Woodcock| editor3-last = Davies | editor3-first = Jim| title = FM'99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I| doi = 10.1007/3-540-48119-2| series = ]| volume = 1708| publisher = ]| year = 1999| isbn = 978-3-540-66587-8}}</ref><ref>{{Cite book| editor1-last = Wing | editor1-first = Jeannette M | editor1-link = Jeannette Wing| editor2-last = Woodcock | editor2-first = Jim | editor2-link = Jim Woodcock| editor3-last = Davies | editor3-first = Jim| title = FM'99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II| doi = 10.1007/3-540-48118-4| series = ]| volume = 1709| publisher = ]| year = 1999| isbn = 978-3-540-66588-5}}</ref><ref>{{cite book |editor1-last=Martin |editor1-first=U. |editor1-link=Ursula Martin |editor2-last=Wing |editor2-first=J. M. |editor2-link=Jeannette Wing |year=1993 |title=Proceedings of the First International Workshop on Larch |series=Workshops in Computing |publisher=] |isbn=3-540-19804-0}}</ref><ref>{{Cite book | last1 = Garland | first1 = S. J.| last2 = Jones | first2 = K. D.| last3 = Modet | first3 = A.| last4 = Wing | first4 = J. M. | author4-link = Jeannette Wing| editor1-last = Guttag | editor1-first = J. V. | editor1-link = John Guttag| editor2-last = Horning | editor2-first = J. J. |editor2-link = Jim Horning| doi = 10.1007/978-1-4612-2704-5| title = Larch: Languages and Tools for Formal Specification| publisher = ]| year = 1993| isbn = 978-1-4612-7636-4}}</ref><ref>{{DBLP| |
-->Prior to 2013, she was the President's Professor of ] at ], ], ], ]. She also served as assistant director for Computer and Information Science and Engineering at the ] from 2007 to 2010.<ref name="compthink">{{Cite journal | doi = 10.1145/1118178.1118215| title = Computational thinking| journal = ]| volume = 49| issue = 3| pages = 33| year = 2006| url = https://www.cs.cmu.edu/~15110-s13/Wing06-ct.pdf| last1 = Wing | first1 = Jeanette M. | authorlink = Jeannette Wing}}</ref><ref>{{Cite book| editor1-last = Wing | editor1-first = Jeannette M | editor1-link = Jeannette Wing| editor2-last = Woodcock | editor2-first = Jim | editor2-link = Jim Woodcock| editor3-last = Davies | editor3-first = Jim| title = FM'99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I| doi = 10.1007/3-540-48119-2| series = ]| volume = 1708| publisher = ]| year = 1999| isbn = 978-3-540-66587-8}}</ref><ref>{{Cite book| editor1-last = Wing | editor1-first = Jeannette M | editor1-link = Jeannette Wing| editor2-last = Woodcock | editor2-first = Jim | editor2-link = Jim Woodcock| editor3-last = Davies | editor3-first = Jim| title = FM'99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II| doi = 10.1007/3-540-48118-4| series = ]| volume = 1709| publisher = ]| year = 1999| isbn = 978-3-540-66588-5}}</ref><ref>{{cite book |editor1-last=Martin |editor1-first=U. |editor1-link=Ursula Martin |editor2-last=Wing |editor2-first=J. M. |editor2-link=Jeannette Wing |year=1993 |title=Proceedings of the First International Workshop on Larch |series=Workshops in Computing |publisher=] |isbn=3-540-19804-0}}</ref><ref>{{Cite book | last1 = Garland | first1 = S. J.| last2 = Jones | first2 = K. D.| last3 = Modet | first3 = A.| last4 = Wing | first4 = J. M. | author4-link = Jeannette Wing| editor1-last = Guttag | editor1-first = J. V. | editor1-link = John Guttag| editor2-last = Horning | editor2-first = J. J. |editor2-link = Jim Horning| doi = 10.1007/978-1-4612-2704-5| title = Larch: Languages and Tools for Formal Specification| publisher = ]| year = 1993| isbn = 978-1-4612-7636-4}}</ref><ref>{{DBLP|name=Jeannette M. Wing}}</ref><ref name="scopus">{{Scopus|id=7102329155}}</ref><ref name="acm">{{ACMPortal|id=81339536422}}</ref><ref>{{Cite journal | doi = 10.1145/78969.78972| title = Linearizability: A correctness condition for concurrent objects| journal = ACM Transactions on Programming Languages and Systems| volume = 12| issue = 3| pages = 463| year = 1990| last1 = Herlihy | first1 = M. P. | last2 = Wing | first2 = J. M. }}</ref><ref>{{Cite journal | doi = 10.1145/242223.242257| title = Formal methods: State of the art and future directions| journal = ACM Computing Surveys| volume = 28| issue = 4| pages = 626| year = 1996| last1 = Clarke | first1 = E. M. | last2 = Wing | first2 = J. M. }}</ref> | ||
| == Education == | == Education == | ||
| Wing earned her S.B. and S.M. in Electrical Engineering and Computer Science at ] in June 1979. Her advisers were ] and John Reiser. In 1983, she earned her Ph.D. in Computer Science at MIT under ].<ref name="mathgene"/> | Wing earned her S.B. and S.M. in Electrical Engineering and Computer Science at ] in June 1979. Her advisers were ] and John Reiser. In 1983, she earned her Ph.D. in Computer Science at MIT under ].<ref name="mathgene"/> | ||
| == Career and research == | == Career and research == | ||
| Wing was on the faculty of the ] 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 was on the faculty of the ] 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. | ||
Revision as of 19:11, 18 October 2016
| Jeannette Wing | |
|---|---|
 Speaking at the World Economic Forum in Davos, Switzerland, on January 26, 2013. | |
| Born | Jeannette Marie Wing |
| Nationality | American |
| Alma mater | Massachusetts Institute of Technology |
| Scientific career | |
| Fields | Computer science |
| Institutions | Carnegie Mellon University |
| Thesis | A Two-Tiered Approach to Specifying Programs (1983) |
| Doctoral advisor | John Guttag |
| Doctoral students |
|
| Website | www |
Jeannette Marie Wing is Corporate Vice President of Microsoft Research with oversight of its core research laboratories around the world and Microsoft Research Connections. 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.
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.
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.
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.
She is a member of the editorial board of the following journals:
- Journal of the ACM
- Formal Aspects of Computing (North American Editor)
- Formal Methods in System Design
- International Journal of Software and Informatics
- Journal of Information Science and Engineering
- Software Tools for Technology Transfer
References
- ^ Jeannette Wing at the Mathematics Genealogy Project
- "Jeannette Wing". Retrieved July 6, 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. (2006). "Computational thinking" (PDF). Communications of the ACM. 49 (3): 33. doi:10.1145/1118178.1118215.
- 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.
- 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.
- 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.
- 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.
- 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. doi:10.1145/78969.78972.
- 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.
- http://www.cs.cmu.edu/afs/cs/usr/wing/www/publications/
External links
- Aaronson, Lauren, Q&A With: Jeannette Wing
- Jon Udell's Interviews with Innovators - Dr. Jeannette Wing
  | This article about an American scientist in academia is a stub. You can help Misplaced Pages by expanding it. |
- American computer scientists
- Formal methods people
- Living people
- Women computer scientists
- Academic journal editors
- Women in technology
- Carnegie Mellon University faculty
- Microsoft employees
- Massachusetts Institute of Technology alumni
- 20th-century American engineers
- 21st-century American engineers
- 20th-century American scientists
- 21st-century American scientists
- 20th-century women scientists
- 21st-century women scientists
- American academic scientist stubs