Biography:Jeannette Wing

From HandWiki
Short description: American computer scientist
Jeannette Wing
Jeannette Wing, Davos 2013.jpg
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)
NationalityUnited States
Alma materMassachusetts Institute of Technology
Scientific career
FieldsComputer science
InstitutionsColumbia University,
Carnegie Mellon University,
University of Southern California
ThesisA Two-Tiered Approach to Specifying Programs (1983)
Doctoral advisorJohn Guttag[1]
Doctoral studentsGreg Morrisett[1]
Websitecs.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]

Background

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] She is a fourth-degree black belt in Tang Soo Do.[16]

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

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

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

Recognition

Wing was named a Fellow of the IEEE in 2003, "for contributions to methods for software systems".[18]

References

  1. ↑ 1.0 1.1 1.2 Jeannette Wing at the Mathematics Genealogy Project
  2. ↑ "President Bollinger Names Microsoft Research Head Jeannette Wing to Lead Columbia's Data Science Institute". http://news.columbia.edu/content/President-Bollinger-Names-Microsoft-Research-Head-Jeannette-Wing-to-Lead-Columbias-Data-Science-Institute. 
  3. ↑ "Jeannette Wing". http://research.microsoft.com/en-us/press/jeannette-wing.aspx. 
  4. ↑ Clayton, Steve (November 20, 2012). "Dr. Jeannette Wing: New Vice President, Head of Microsoft Research International". https://blogs.microsoft.com/ai/dr-jeannette-wing-new-vice-president-head-of-microsoft-research-international/. 
  5. ↑ 5.0 5.1 Wing, Jeanette M. (2006). "Computational thinking". Communications of the ACM 49 (3): 33–35. doi:10.1145/1118178.1118215. https://www.cs.cmu.edu/~15110-s13/Wing06-ct.pdf. 
  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 I. LNCS. 1708. Springer-Verlag. doi:10.1007/3-540-48119-2. ISBN 978-3-540-66587-8. https://archive.org/details/fm99formalmethod0000worl. 
  7. ↑ 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. https://archive.org/details/fm99formalmethod0000worl. 
  8. ↑ 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. 
  9. ↑ 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. 
  10. ↑ {{DBLP}} template missing ID and not present in Wikidata.
  11. ↑ Jeannette Wing's publications indexed by the Scopus bibliographic database. (Subscription content?)
  12. ↑ Jeannette Wing author profile page at the ACM Digital Library
  13. ↑ 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. 
  14. ↑ 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. 
  15. ↑ "Jeannette Wing promoted to executive vice president for research - Columbia Spectator". https://www.columbiaspectator.com/news/2021/08/18/jeannette-wing-promoted-to-executive-vice-president-for-research/. 
  16. ↑ McLaughlin, Kevin. "14 Tech Execs Who Could Probably Kick Your Butt In A Fight". https://www.businessinsider.com/14-tech-execs-who-practice-martial-arts-2013-6. 
  17. ↑ "Jeannette M. Wing". https://www.cs.cmu.edu/afs/cs/usr/wing/www/publications/. 
  18. ↑ "IEEE Fellows directory". IEEE. https://services27.ieee.org/fellowsdirectory/home.html. 

External links





Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Jeannette_Wing&oldid=3171943"